Forcing layer on top of Coq
Coq OCaml
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
test-suite
theories
Make
README

README

Forcing layer on top of Coq - copyright (c) 2012 Matthieu Sozeau <matthieu.sozeau@inria.fr>

Do coq_makefile -f Make -o Makefile
Compile, add to your ~/.coqrc:

Add ML Path "SOMEPATH/Forcing/src".
Add Rec LoadPath "SOMEPATH/Forcing/theories" as Forcing.

Enjoy!