issues
search
JetBrains
/
Arend
The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
694
stars
33
forks
source link
Pp repl
#271
Closed
ice1000
closed
4 years ago
ice1000
commented
4 years ago
This PR:
Starts using YAML REPL config, old configs will no longer be used
Enables modifying the pretty printing config
This PR: