G github.com RZK: Experimental proof assistant for synthetic ∞-categories 61 points adamnemecek 3 years ago 46 comments
