Mercurial > urweb

annotate src/coq/README @ 2276:c05f9a5e0f0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Progress on free paths, but consolidation seems to fail more with them.
author Ziv Scully <ziv@mit.edu>
date Mon, 09 Nov 2015 13:37:31 -0500
parents 705cb41ac7d0
children
rev   line source
adamc@636 1 This is a Coq formalization of a simplified version of the Ur programming language.
adamc@636 2
adam@1618 3 It has only been tested with Coq version 8.3pl2.