Ssreflect
4 projects
Showing 4 of 4 projects
Mathematical Components wikiRocq Prover
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
#rocq-library#mathematics#coq
Stars684
Forks131
Last commit1 day ago
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 commit19 hours ago
Four Color TheoremRocq Prover
A formal proof of the Four Color Theorem in Coq, including supporting theories for real numbers, plane topology, and combinatorial hypermaps.
#mathematics#coq#coq-ci
Stars240
Forks24
Last commit2 months ago
coq-haskellCoq
A Coq library providing Haskell-like definitions and notations for formalizing Haskell types and functions in Coq.
#haskell#functional-programming#coq
Stars172
Forks11
Last commit2 years 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.