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.12.tar.gz
md5=5e627ee171248a92edac49d7d92579fe
Description
On This Page