index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
DebugFlags.v
blob: 32c0f2d24bd9662999f1d879a2d90aa631c095f4 (
plain
)
1
2
3
4
5
Set
Debug
"cbn"
.
Set
Debug
"RAKAM"
.
Check
2
+
3
=
0.