GitHub repository: rzk-lang/sHoTT
Primary language: Markdown
Description: Formalisations for simplicial HoTT and synthetic ∞-categories.