RZK: Experimental proof assistant for synthetic ∞-categoriesgithub.com/rzk-lang2 pointsadamnemecek3 years ago