Mathematical Components
3 projects
Showing 3 of 3 projects
AnalysisRocq Prover
A formal real analysis library for the Coq/Rocq proof assistant, built on the Mathematical Components library.
#coq#topology#mathcomp
Stars244
Forks68
Last commit8 days ago
Hierarchy BuilderRocq Prover
A Coq plugin providing high-level commands to declare and manage hierarchies of algebraic structures using packed classes.
#elpi#coq#algebraic-structures
Stars105
Forks30
Last commit6 days ago
CoqEALRocq Prover
A Coq library for effective algebra, providing optimized algorithms and a refinement framework for changing data representations in proofs.
#coq#coq-platform#coq-ci
Stars75
Forks18
Last commit1 month ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.