Home My Page Projects Coq.Interval
Summary Activity SCM Files

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: 205
View project Statistics
View list of RSS feeds available for this project.
Public Tools
SCM Repository (Git: 1,145 updates, 25 adds)