package coq-poltac
A set of tactics to deal with inequalities in Coq over N, Z and R:
Install
Dune Dependency
Authors
Maintainers
Sources
v8.11.tar.gz
md5=4572fa9053046da84852f631fa6909d3
Description
On This Page