GitHub repository: zupanibla/spartan-type-theory
Description: Spartan type theory