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.

This project has not yet categorized itself in the Trove Software Map Registered: 2014-09-02 12:45
Activity Ranking: 466
View project Statistics
View list of RSS feeds available for this project.

Project Admins
Members:

View the 4 Member(s)

Request to join