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
path:
root
/
test-suite
Mode
Name
Size
-rw-r--r--
.csdp.cache
313112
log
plain
-rw-r--r--
Makefile
25875
log
plain
-rw-r--r--
README.md
3642
log
plain
-rw-r--r--
_CoqProject
26
log
plain
d---------
arithmetic
39
log
plain
d---------
bugs
219
log
plain
d---------
complexity
624
log
plain
d---------
coq-makefile
1009
log
plain
d---------
coqchk
590
log
plain
d---------
coqdoc
493
log
plain
d---------
coqwc
388
log
plain
-rw-r--r--
dune
1380
log
plain
d---------
failure
2782
log
plain
d---------
ide
1244
log
plain
d---------
ideal-features
309
log
plain
d---------
interactive
277
log
plain
d---------
ltac2
520
log
plain
d---------
micromega
540
log
plain
d---------
misc
1000
log
plain
d---------
modules
1124
log
plain
-rw-r--r--
ocaml_pwd.ml
238
log
plain
d---------
output-coqtop
350
log
plain
d---------
output-modulo-time
221
log
plain
d---------
output
9002
log
plain
d---------
prerequisite
337
log
plain
d---------
primitive
65
log
plain
-rwxr-xr-x
report.sh
1137
log
plain
d---------
ssr
2756
log
plain
d---------
stm
218
log
plain
d---------
success
9318
log
plain
d---------
tools
40
log
plain
d---------
typeclasses
243
log
plain
d---------
unit-tests
164
log
plain
d---------
vio
236
log
plain
d---------
vos
127
log
plain