issues
search
Andromedans
/
andromeda
A proof assistant for general type theories
http://www.andromeda-prover.org/
Other
297
stars
34
forks
source link
Update website to mention Andromeda 2, archive Andromeda 1
#460
Closed
haselwarter
closed
5 years ago