issues
search
JetBrains
/
Arend
The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
690
stars
33
forks
source link
Improve logic for revealing
#324
Closed
knisht
closed
2 years ago