issues
search
aya-prover
/
aya-dev
A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281
stars
16
forks
source link
Normalize types
#1055
Closed
ice1000
closed
5 months ago