Mercurial > urweb

annotate src/coq/README @ 1404:82b204f20026

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 10:40:40 -0500
parents de8333ef1a0c
children 705cb41ac7d0
rev   line source
adamc@636 1 This is a Coq formalization of a simplified version of the Ur programming language.
adamc@636 2
adamc@636 3 It has only been tested with Coq version 8.1pl3.