package

coq8.20-interval

Description

Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Metadata

Version

4.11.0

License

Status

Source

pkgs/development/coq-modules/interval/default.nix:47

Homepage

https://gitlab.inria.fr/coqinterval/interval

Maintainers (1)

Vincent Laporte

Platforms (45)

Darwin

FreeBSD

Linux

NetBSD

OpenBSD

Redox

Solaris

Windows

Show all