rzk proof assistant, satellite tools, and formalisations
Results
1
repositories owned by
rzk proof assistant, satellite tools, and formalisations
rzk
192
Stars
9
Forks
Watchers
An experimental proof assistant based on a type theory for synthetic ∞-categories.
