issues
search
JetBrains
/
Arend
The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
694
stars
33
forks
source link
Partially applied syntax
#199
Closed
ice1000
closed
4 years ago
ice1000
commented
4 years ago
No description provided
.
No description provided.