6a69a25c56
This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. Homepage: http://coq-interval.gforge.inria.fr/ |
||
|---|---|---|
| .. | ||
| bedrock | ||
| containers | ||
| coq-ext-lib | ||
| coqeal | ||
| domains | ||
| flocq | ||
| heq | ||
| interval | ||
| mathcomp | ||
| paco | ||
| ssreflect | ||
| tlc | ||
| unimath | ||
| ynot | ||