1
rzk: an experimental proof assistant for synthetic ∞-categories (rzk-lang.github.io)
submitted 9 months ago by armchair_progamer@programming.dev to c/formal_methods@programming.dev
0 comments fedilink hide all child comments
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here
this post was submitted on 28 Sep 2023
1 points (100.0% liked)

Formal Methods

153 readers
9 users here now

founded 11 months ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev