Skip Navigation
Log In
Sign Up
Settings
Guest
Accounts
Formal Methods
@programming.dev
armchair_progamer
@programming.dev
12mo ago
rzk: an experimental proof assistant for synthetic ∞-categories
rzk-lang.github.io
Introduction - rzk: an experimental proof assistant for synthetic ∞-categories
7
0
0
0
comments
Hot
Top
New
Old
Controversial