algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
32 stars
9 watching
2 forks
Language: Coq
last commit: 24 days ago
Linked from 2 awesome lists
coqelpimathcompproof-automationssreflect
Ring, field, lra, nra, and psatz tactics for Mathematical Components