njt123

Pinned Repositories

coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml00
HoTT
Homotopy type theory
Language:Coq20
njt123
Config files for my GitHub profile.
00

njt123's Repositories

njt123/HoTT
Homotopy type theory
Language:Coq20
njt123/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml00
njt123/njt123
Config files for my GitHub profile.
00