Project description
The Coq.Interval library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. Project Information
This project has not yet categorized itself in the Trove Software Map Registered: 2014-09-02 12:45 Activity Ranking: 230 View project Statistics View list of RSS feeds available for this project. ![]() Public Tools
|
Project Members
|