summaryrefslogtreecommitdiff
path: root/src/coq/README
blob: 963a7d164795414f41cc13d680dcce1ecb4e44d7 (plain)
1
2
3
This is a Coq formalization of a simplified version of the Ur programming language.

It has only been tested with Coq version 8.1pl3.