Analysismath-comp/analysis
A formal real analysis library for the Coq/Rocq proof assistant, built on the Mathematical Components library.
24468Rocq Prover
8 days agoThere are currently 7 open-source projects built with Hierarchy Builder, with a combined total of 893 GitHub stars. The most common language among these projects is Rocq Prover.
Showing 7 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
