Skip Navigation
Search
Explore
Create
Frontpage
Settings
Search
Communities
Log In
Sign Up
Formal Methods
@programming.dev
armchair_progamer
@programming.dev
1 yr. ago
rzk: an experimental proof assistant for synthetic ∞-categories
rzk-lang.github.io
Introduction - rzk: an experimental proof assistant for synthetic ∞-categories
1
0
0
0
comments
Hot
Top
New
Old