issues
search
proofpeer
/
proofpeer-proofscript
The language of ProofPeer: ProofScript
MIT License
8
stars
0
forks
source link
Implementing incontext, inliteralcontext, literalcontext
#74
Closed
phlegmaticprogrammer
closed
8 years ago