GitHub repository: Deducteam/matita
Primary language: OCaml
Description: Matita (proof assistant) with embedded elpi