Mercurial > urweb

view src/coq/README @ 1132:d4cd54a4ea06

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First attempt to switch to Automake, to get shared libraries built in OSX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 09:56:08 -0500
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.