search

math-comp / mczify

Micromega tactics for Mathematical Components
23 stars 8 forks source link

Update CI #41

Closed pi8027 closed 2 years ago