GitHub repository: JKhawaja/Explicit-Type-Theory
Primary language: TeX
Description: Computational-Theoretic Research