search

Andromedans / andromeda

A proof assistant for general type theories
http://www.andromeda-prover.org/
Other
297 stars 34 forks source link

Require modules at most one. #518

Closed andrejbauer closed 4 years ago

andrejbauer commented 4 years ago

Require works as expected now, close #511