Section: New Software and Platforms
math-comp-analysis
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.