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