0
I Use This!
Inactive
Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Project Summary

This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Tags

automated coq floating_point interval mathematics

In a Nutshell, Interval Package for Coq...

GNU Lesser General Public License v2.1 only
Permitted

Commercial Use

Modify

Distribute

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Notice

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    search using multiple tags to find exactly what you need
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
coq
91%
C++
9%
2 Other
<1%

30 Day Summary

Mar 22 2021 — Apr 21 2021

12 Month Summary

Apr 21 2020 — Apr 21 2021