search

proofpeer / proofpeer-proofscript

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

Introduce Literal Context #69

Closed phlegmaticprogrammer closed 8 years ago

phlegmaticprogrammer commented 8 years ago

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