Andromedans/andromeda Andromedans/andromeda

  • Stars
    star
    298
  • Rank 139,663 (Top 3 %)
  • Language
    OCaml
  • License
    Other
  • Created about 12 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Andromedans/andromeda
github

Andromedans

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A proof assistant for general type theories

Andromeda

Andromeda is a prover for dependent type theories à la Martin-Löf.

See the official Andromeda web site for more information, such as installation instructions and links to the ICFP 2019 materials.

Build Status