A proof assistant for general type theories
See the codeREADME
Andromeda
Andromeda 2 is a proof checker for user-definable dependently-typed theories.
Please consult www.andromeda-prover.org for further information, installation instructions, and documentation.
Developers
Support
This material is based upon work supported by the Air Force Office of Scientific Research, Air Force Materiel Command, USAF under Award No. FA9550-14-1-0096. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author(s) and do not necessarily reflect the views of the Air Force Office of Scientific Research, Air Force Materiel Command, USAF.
Contributors
Similar repos
Languages
OCaml
67.4%
TeX
21.5%
Emacs Lisp
6.2%
Raku
3.2%
Handlebars
1.4%
A proof assistant for general type theories
See the codeREADME
Andromeda
Andromeda 2 is a proof checker for user-definable dependently-typed theories.
Please consult www.andromeda-prover.org for further information, installation instructions, and documentation.
Developers
Support
This material is based upon work supported by the Air Force Office of Scientific Research, Air Force Materiel Command, USAF under Award No. FA9550-14-1-0096. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author(s) and do not necessarily reflect the views of the Air Force Office of Scientific Research, Air Force Materiel Command, USAF.
Similar repos
Contributors
Languages
OCaml
67.4%
TeX
21.5%
Emacs Lisp
6.2%
Raku
3.2%
Handlebars
1.4%