8000 [Numeral notations] Use Coqlib registered constants by vbgl · Pull Request #8720 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[Numeral notations] Use Coqlib registered constants#8720

Merged
ejgallego merged 2 commits intorocq-prover:masterfrom
vbgl:coqlib-numeral-notations
Jan 31, 2019
Merged

[Numeral notations] Use Coqlib registered constants#8720
ejgallego merged 2 commits intorocq-prover:masterfrom
vbgl:coqlib-numeral-notations

Commits

Commits on Jan 25, 2019
0