Home My Page Projects Coquelicot
Summary Activity Lists SCM Files

Project description

The Coquelicot project aims at designing a modern formalization of classical real numbers for the Coq proof assistant.

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2011-10-03 14:13
Activity Ranking: 387
View project Statistics
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Download
coquelicot 3.0.1 2017-09-07 coquelicot - Release Notes coquelicot 3.0.1 - Download
Public Tools
Mailing Lists (2 public mailing lists)
SCM Repository (Git: 1,636 updates, 74 adds)