https://github.com/mattam82/Forcing
History
Tip revision: a77a13fd86a4ba8aecfb337c6334d12aaf24082e authored by Matthieu Sozeau on 20 August 2012, 16:02:08 UTC
Cleanup fix_lemmas, everything except wird is proved.
Tip revision: a77a13f
File Mode Size
src
test-suite
theories
Make -rw-r--r-- 252 bytes
README -rw-r--r-- 262 bytes

README

back to top