math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33Updated last month

Alternatives and similar repositories for algebra-tactics:

Users that are interested in algebra-tactics are comparing it to the libraries listed below