issues
search
math-comp
/
mczify
Micromega tactics for Mathematical Components
23
stars
8
forks
source link
Add more instances and test cases
#34
Closed
pi8027
closed
2 years ago