search

math-comp / mczify

Micromega tactics for Mathematical Components
23 stars 8 forks source link

Adapt w.r.t. coq/coq#16004. #40

Closed ppedrot closed 2 years ago

ppedrot commented 2 years ago

Should be backwards compatible.

pi8027 commented 2 years ago

Thanks @ppedrot!