FCSL-PCM
Apache-2.0Rocq Proverv2.2.0
A Coq library formalizing Partial Commutative Monoids (PCMs) for separation logic-based program verification.
35 stars13 forks0 contributors
Overview
Partial Commutative Monoids
Related Projects
Interaction TreesA Library for Representing Recursive and Impure Programs in Coq
Stars252
Forks60
Last commit6 days ago
coq-haskellA library for formalizing Haskell types and functions in Coq
Stars172
Forks11
Last commit2 years ago
ExtLibA library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Stars137
Forks53
Last commit1 month ago
Formalised Undecidable ProblemsA library of mechanised undecidability proofs in the Coq proof assistant.
Stars137
Forks36
Last commit1 day ago
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.