math-comp / analysisLinks
Mathematical Components compliant Analysis Library
☆221Updated last week
Alternatives and similar repositories for analysis
Users that are interested in analysis are comparing it to the libraries listed below
Sorting:
- A function definition package for Coq☆232Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆345Updated this week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆460Updated this week
- The agda-unimath library☆261Updated this week
- Coq plugin embedding elpi