coq_debug

Coq with concrete (not abstract) data types for debugging

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
checker		checker
config		config
dev		dev
doc		doc
ide		ide
interp		interp
kernel		kernel
lib		lib
library		library
man		man
parsing		parsing
plugins		plugins
pretyping		pretyping
proofs		proofs
scripts		scripts
states		states
tactics		tactics
test-suite		test-suite
theories		theories
tools		tools
toplevel		toplevel
.gitignore		.gitignore
CHANGES		CHANGES
COMPATIBILITY		COMPATIBILITY
COPYRIGHT		COPYRIGHT
CREDITS		CREDITS
INSTALL		INSTALL
INSTALL.doc		INSTALL.doc
INSTALL.ide		INSTALL.ide
LICENSE		LICENSE
Makefile		Makefile
Makefile.build		Makefile.build
Makefile.common		Makefile.common
Makefile.doc		Makefile.doc
README		README
README.doc		README.doc
README.md		README.md
README.win		README.win
TODO		TODO
build		build
configure		configure
coq-win32.itarget		coq-win32.itarget
coq.itarget		coq.itarget
debug		debug
install.sh		install.sh
myocamlbuild.ml		myocamlbuild.ml

Navigation Menu