math-comp/algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq