8000 Fix #6297: handle constraints like (u+1 <= Set/Prop) by SkySkimmer · Pull Request #6298 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fix #6297: handle constraints like (u+1 <= Set/Prop)#6298

Merged
maximedenes merged 1 commit intorocq-prover:masterfrom
SkySkimmer:fix-6297
Jan 17, 2018
Merged

Fix #6297: handle constraints like (u+1 <= Set/Prop)#6298
maximedenes merged 1 commit intorocq-prover:masterfrom
SkySkimmer:fix-6297

Commits

Commits on Dec 1, 2017
0