Commit 2617def4 authored by Andrew Hirsch's avatar Andrew Hirsch
Browse files

Added a readme for the Coq code.

parent 2682c9fa
This has been tested with Coq 8.13.2. You shouldn't need any other libraries installed to use it.
Instructions to build:
coq_makefile -o Makefile -f _CoqProject
Then go get a cup of coffee! This takes about 30 minutes to build.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment