mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 15:15:36 +00:00
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/ |
||
---|---|---|
.. | ||
default.nix |