index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
failure
Mode
Name
Size
-rw-r--r--
Case1.v
56
log
plain
-rw-r--r--
Case10.v
111
log
plain
-rw-r--r--
Case11.v
113
log
plain
-rw-r--r--
Case12.v
137
log
plain
-rw-r--r--
Case13.v
140
log
plain
-rw-r--r--
Case14.v
199
log
plain
-rw-r--r--
Case15.v
150
log
plain
-rw-r--r--
Case16.v
194
log
plain
-rw-r--r--
Case2.v
262
log
plain
-rw-r--r--
Case3.v
189
log
plain
-rw-r--r--
Case4.v
136
log
plain
-rw-r--r--
Case5.v
160
log
plain
-rw-r--r--
Case6.v
187
log
plain
-rw-r--r--
Case7.v
451
log
plain
-rw-r--r--
Case8.v
173
log
plain
-rw-r--r--
Case9.v
226
log
plain
-rw-r--r--
ClearBody.v
234
log
plain
-rw-r--r--
Notations.v
143
log
plain
-rw-r--r--
Tauto.v
918
log
plain
-rw-r--r--
Uminus.v
1438
log
plain
-rw-r--r--
cases.v
150
log
plain
-rw-r--r--
check.v
49
log
plain
-rw-r--r--
clash_cons.v
655
log
plain
-rw-r--r--
clashes.v
198
log
plain
-rw-r--r--
coqbugs0266.v
159
log
plain
-rw-r--r--
fixpoint1.v
619
log
plain
-rw-r--r--
illtype1.v
538
log
plain
-rw-r--r--
ltac1.v
168
log
plain
-rw-r--r--
ltac2.v
152
log
plain
-rw-r--r--
ltac4.v
147
log
plain
-rw-r--r--
pattern.v
203
log
plain
-rw-r--r--
positivity.v
571
log
plain
-rw-r--r--
redef.v
573
log
plain
-rw-r--r--
search.v
570
log
plain
-rw-r--r--
universes-buraliforti.v
6391
log
plain
-rw-r--r--
universes-sections1.v
200
log
plain
-rw-r--r--
universes-sections2.v
218
log
plain
-rw-r--r--
universes.v
103
log
plain
-rw-r--r--
universes2.v
120
log
plain
