thery/PolTac

Tactic for polynomial manipulations

GitHub repository with 13 stars and 1 forks.

Language: Rocq Prover

Topics: tactics, coq, inequalities, polynomial

Open provider repository