GitHub repository: AustenPrinciple/latte-kernel
Primary language: Clojure
Description: The (very) small kernel of the LaTTe proof assistant