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.
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.