search

math-comp / mczify

Micromega tactics for Mathematical Components
23 stars 8 forks source link

Reimplement the post-process for divZ and modZ #7

Closed pi8027 closed 4 years ago

pi8027 commented 4 years ago

Close #6