index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
closed
/
3896.v
blob: b433922a219aff65272ae3abff5b0745da34fc4c (
plain
)
1
2
3
4
Goal
True
.
pose
proof
0
as
n
.
Fail
apply
pair
in
n
.
(
*
Used
to
be
an
anomaly
for
a
while
*
)
