GitHub repository: madvorak/mltt
Primary language: TeX
Created: 2023-03-30T17:34:25Z
Description: Rules of the Martin-Löf type theory