GitHub repository: kiprella/tiny_tpr
Primary language: OCaml
Created: 2025-05-27T11:25:33Z
Description: Mini proof assistant based on primitive recursive dependent type theory