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