proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

Main Context "Thread" #67

Closed phlegmaticprogrammer closed 8 years ago

phlegmaticprogrammer commented 8 years ago

See https://groups.google.com/d/msg/proofpeer-dev/eROR6tEgqZA/98A-H5aWAgAJ .