Eqchk conversion - Githubissues

Andromedans / andromeda

A proof assistant for general type theories

http://www.andromeda-prover.org/

Other

297 stars 34 forks source link

Closed andrejbauer closed 4 years ago

andrejbauer commented 4 years ago

Sorry, this PR is a bit messed up. It also includes @anjapetkovic update to MLTT and a fix of how operation continuations work.