Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Mathematical Components Analysis

Keyword: Proof assistant

Functional Description: This library adds definitions and theorems for real numbers and their mathematical structures

Release Functional Description: Compatible with mathcomp 1.8.0, 1.9.0, and 1.10.0

News Of The Year: In 2019, there were 3 releases.