Mercurial > urweb

view src/coq/README @ 1542:dc4c61363d0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Aug 2011 08:59:01 -0400
parents de8333ef1a0c
children 705cb41ac7d0
line wrap: on
line source
This is a Coq formalization of a simplified version of the Ur programming language.

It has only been tested with Coq version 8.1pl3.