GitHub repository: mmcqd/boringtt
Primary language: OCaml
Description: A boring type theory