index
:
coq
master
v8.0
v8.1
v8.10
v8.11
v8.12
v8.13
v8.14
v8.15
v8.16
v8.17
v8.18
v8.19
v8.2
v8.3
v8.4
v8.5
v8.6
v8.7
v8.8
v8.9
El asistente de pruebas Coq
mirror
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.gitattributes
2773
log
plain
d---------
.github
173
log
plain
-rw-r--r--
.gitignore
3331
log
plain
-rw-r--r--
.gitlab-ci.yml
17989
log
plain
-rw-r--r--
.mailmap
13676
log
plain
-rw-r--r--
.merlin.in
581
log
plain
-rw-r--r--
.ocamlinit
12
log
plain
-rw-r--r--
CODE_OF_CONDUCT.md
6711
log
plain
-rw-r--r--
CONTRIBUTING.md
55281
log
plain
-rw-r--r--
CREDITS
8060
log
plain
-rw-r--r--
INSTALL
12298
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
META.coq.in
11257
log
plain
-rw-r--r--
Makefile
13395
log
plain
-rw-r--r--
Makefile.build
33148
log
plain
-rw-r--r--
Makefile.checker
3175
log
plain
-rw-r--r--
Makefile.ci
1781
log
plain
-rw-r--r--
Makefile.common
6505
log
plain
-rw-r--r--
Makefile.dev
5706
log
plain
-rw-r--r--
Makefile.doc
8033
log
plain
-rw-r--r--
Makefile.dune
4220
log
plain
-rw-r--r--
Makefile.ide
10722
log
plain
-rw-r--r--
Makefile.install
6146
log
plain
-rw-r--r--
Makefile.vofiles
1767
log
plain
-rw-r--r--
README.md
4776
log
plain
-rw-r--r--
azure-pipelines.yml
3505
log
plain
d---------
checker
1070
log
plain
d---------
clib
2605
log
plain
d---------
config
114
log
plain
-rwxr-xr-x
configure
944
log
plain
-rw-r--r--
configure.ml
44303
log
plain
-rw-r--r--
coq-refman.opam
1044
log
plain
-rw-r--r--
coq.opam
1231
log
plain
-rw-r--r--
coq.opam.docker
1195
log
plain
-rw-r--r--
coqide-server.opam
964
log
plain
-rw-r--r--
coqide.opam
1009
log
plain
d---------
coqpp
285
log
plain
-rw-r--r--
default.nix
3894
log
plain
d---------
dev
1571
log
plain
d---------
doc
350
log
plain
-rw-r--r--
dune
1460
log
plain
-rw-r--r--
dune-project
202
log
plain
d---------
engine
1504
log
plain
d---------
gramlib
410
log
plain
d---------
ide
3747
log
plain
-rwxr-xr-x
install.sh
248
log
plain
d---------
interp
1597
log
plain
d---------
kernel
4427
log
plain
d---------
lib
2059
log
plain
d---------
library
876
log
plain
d---------
man
441
log
plain
d---------
parsing
611
log
plain
d---------
plugins
577
log
plain
d---------
pretyping
2944
log
plain
d---------
printing
550
log
plain
d---------
proofs
1084
log
plain
-rw-r--r--
shell.nix
142
log
plain
d---------
stm
976
log
plain
d---------
tactics
2418
log
plain
d---------
test-suite
1232
log
plain
d---------
theories
866
log
plain
d---------
tools
931
log
plain
d---------
topbin
306
log
plain
d---------
toplevel
882
log
plain
d---------
user-contrib
32
log
plain
d---------
vernac
3676
log
plain