summaryrefslogtreecommitdiff
path: root/src/coq/README
blob: 10cb01e5690e3289bde1a55beb696c101effa438 (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.3pl2.
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-11 12:24:10 +0000