GitHub repository: mikeshulman/narya
Primary language: OCaml
Description: A proof assistant for higher-dimensional type theory