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--
.bintray.json
344
log
plain
-rw-r--r--
.gitattributes
2282
log
plain
d---------
.github
97
log
plain
-rw-r--r--
.gitignore
3126
log
plain
-rw-r--r--
.gitlab-ci.yml
9435
log
plain
-rw-r--r--
.mailmap
11831
log
plain
-rw-r--r--
.merlin.in
559
log
plain
-rw-r--r--
.travis.yml
7818
log
plain
-rw-r--r--
CHANGES.md
191078
log
plain
-rw-r--r--
CONTRIBUTING.md
9870
log
plain
-rw-r--r--
CREDITS
8087
log
plain
-rw-r--r--
INSTALL
12475
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
META.coq.in
10146
log
plain
-rw-r--r--
Makefile
12745
log
plain
-rw-r--r--
Makefile.build
30487
log
plain
-rw-r--r--
Makefile.checker
4178
log
plain
-rw-r--r--
Makefile.ci
1714
log
plain
-rw-r--r--
Makefile.common
6132
log
plain
-rw-r--r--
Makefile.dev
6736
log
plain
-rw-r--r--
Makefile.doc
9954
log
plain
-rw-r--r--
Makefile.ide
10369
log
plain
-rw-r--r--
Makefile.install
5691
log
plain
-rw-r--r--
Makefile.vofiles
1536
log
plain
-rw-r--r--
README.md
3137
log
plain
-rw-r--r--
appveyor.yml
297
log
plain
d---------
checker
1941
log
plain
d---------
clib
2573
log
plain
d---------
config
42
log
plain
-rwxr-xr-x
configure
944
log
plain
-rw-r--r--
configure.ml
49614
log
plain
d---------
coqpp
166
log
plain
-rw-r--r--
default.nix
3227
log
plain
d---------
dev
1237
log
plain
d---------
doc
240
log
plain
d---------
engine
1553
log
plain
d---------
grammar
202
log
plain
d---------
ide
3342
log
plain
-rwxr-xr-x
install.sh
248
log
plain
d---------
interp
1606
log
plain
d---------
kernel
3805
log
plain
d---------
lib
1940
log
plain
d---------
library
1444
log
plain
d---------
man
492
log
plain
d---------
parsing
580
log
plain
d---------
plugins
638
log
plain
d---------
pretyping
2861
log
plain
d---------
printing
595
log
plain
d---------
proofs
1332
log
plain
-rw-r--r--
shell.nix
251
log
plain
d---------
stm
944
log
plain
d---------
tactics
1713
log
plain
d---------
test-suite
985
log
plain
d---------
theories
833
log
plain
d---------
tools
1094
log
plain
d---------
topbin
235
log
plain
d---------
toplevel
621
log
plain
d---------
vernac
2692
log
plain