Skip to content

C
coq
C

coq

Public
GNU LGPLv2.1

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Project ID: 4504
0 Star
HTTPS
Switch branch/tag
History Find file
Name
Last commit
 Last update
.github Loading commit data...
checker Loading commit data...
clib Loading commit data...
config Loading commit data...
coqpp Loading commit data...
dev Loading commit data...
doc Loading commit data...
engine Loading commit data...
grammar Loading commit data...
ide Loading commit data...
interp Loading commit data...
kernel Loading commit data...
lib Loading commit data...
library Loading commit data...
man Loading commit data...
parsing Loading commit data...
plugins Loading commit data...
pretyping Loading commit data...
printing Loading commit data...
proofs Loading commit data...
stm Loading commit data...
tactics Loading commit data...
test-suite Loading commit data...
theories Loading commit data...
tools Loading commit data...
topbin Loading commit data...
toplevel Loading commit data...
vernac Loading commit data...
.bintray.json Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
.ocamlinit Loading commit data...
.travis.yml Loading commit data...
CHANGES Loading commit data...
CODE_OF_CONDUCT.md Loading commit data...
CONTRIBUTING.md Loading commit data...
CREDITS Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.coq.in Loading commit data...
Makefile Loading commit data...
Makefile.build Loading commit data...
Makefile.checker Loading commit data...
Makefile.ci Loading commit data...
Makefile.common Loading commit data...
Makefile.dev Loading commit data...
Makefile.doc Loading commit data...
Makefile.dune Loading commit data...
Makefile.ide Loading commit data...
Makefile.install Loading commit data...
Makefile.vofiles Loading commit data...
README.md Loading commit data...
appveyor.yml Loading commit data...
configure Loading commit data...
configure.ml Loading commit data...
coq.opam Loading commit data...
default.nix Loading commit data...
dune Loading commit data...
dune-project Loading commit data...
dune-workspace Loading commit data...
install.sh Loading commit data...
shell.nix Loading commit data...