package coq-legacy-ring
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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