issues
search
math-comp
/
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
33
stars
2
forks
source link
Support converse rings
#17
Open
pi8027
opened
3 years ago