Hopefully compat with coq/coq#13741: remove omega

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

http://plv.csail.mit.edu/fiat/

Other

147 stars 31 forks source link

Hopefully compat with coq/coq#13741: remove omega #49

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago

Compatiblity with coq/coq#13741

Since we still use the compat files, hopefully we'll automatically pick up the replacement omega tactic. Since ZArith exports Omega, this should remove errors.