Geeks
weisi
/
awesome-arend
Resources for Arend Theorem Prover.
awesome-arend GitHub
Markdown
Readme
1
Issue
1
Stargazer
2
Watchers
Issues
Closed issue
Bit pay for tomorrow
#1 opened
a year ago
by
GaryHarrisa
0