GitHub repository: rzk-lang/hottbook
Primary language: Markdown
Created: 2023-09-08T12:44:24Z
Description: HoTT Book formalisations in Rzk.