package coq-legacy-ring
The former implementation of the ring tactic
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=6c54ffd5bf1e4f816c5d404ca87d079b
Description
Tactics to decide equality and simplify polynomial expressions over an arbitrary commutative ring. This generalizes a previous tactics by Samuel Boutin.
On This Page