Mercurial > urweb

annotate src/coq/README @ 2116:ebfaab689570

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
The 2nd half of proper CSRF protection related to environment variables
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Feb 2015 15:09:26 -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.