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
/
bug_3828.v
blob: 3c01dfd7345bfbb5fbc8929cf9ed851d035bdbc4 (
plain
)
1
2
3
Goal
0
=
0.
Fail
pose
?
Goal
.
Abort
.
