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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 15:19:52 +0000