issues
search
Andromedans
/
andromeda
A proof assistant for general type theories
http://www.andromeda-prover.org/
Other
297
stars
34
forks
source link
Strong normalization
#498
Closed
andrejbauer
closed
4 years ago