GitHub repository: math-comp/algebra-tactics
Primary language: Coq
Description: Ring, field, lra, nra, and psatz tactics for Mathematical Components