rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
61 best points · 46 comments · 2 Hacker News posts · 311 GitHub stars · View on GitHub
Hacker News discussions
- RZK: Experimental proof assistant for synthetic ∞-categories (61 points, 46 comments, by adamnemecek, 2023-09-28)
- RZK: Experimental proof assistant for synthetic ∞-categories (2 points, 0 comments, by adamnemecek, 2023-09-18)