Coq formalization of moessner's theorem using coinduction
Coq Python
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
site_scons/site_tools
.gitignore
LICENSE
README
SConstruct
moessner.v
moessner_1.v
moessner_2.v
prelude.v

README

PREREQUISITES
-------------

This version is known to compile with:

 - Coq 8.4pl2
 - SCons 2.0

BUILDING INSTRUCTIONS
---------------------

Say "scons" to build the full library, or "scons some_module.vo" to just 
build some_module.vo (and its dependencies).

In addition to common Make options like -j N and -k, SCons supports some 
useful options of its own, such as --debug=time, which displays the time 
spent executing individual build commands.

scons -c replaces Make clean