issues
search
math-comp
/
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
32
stars
2
forks
source link
Add support for additive functions and Z-modules
#16
Closed
pi8027
closed
3 years ago
pi8027
commented
3 years ago
Closes #14
Closes #14