8000 Fixing Print for inductive types with let-in in parameters by herbelin · Pull Request #1082 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fixing Print for inductive types with let-in in parameters#1082

Merged
maximedenes merged 4 commits intorocq-prover:masterfrom
herbelin:master+fix-let-in-inductive
Feb 13, 2018
Merged

Fixing Print for inductive types with let-in in parameters#1082
maximedenes merged 4 commits intorocq-prover:masterfrom
herbelin:master+fix-let-in-inductive

Commits

Commits on Dec 14, 2017
0