FCSL-PCM

Apache-2.0Rocq Proverv2.3.0

A Coq library formalizing Partial Commutative Monoids (PCMs) for separation logic-based program verification.

GitHub

35 stars13 forks0 contributors

Overview

Partial Commutative Monoids

Related Projects

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.

Submit a project Star on GitHub

15 days ago

CreatedSince 2018

Built With

Coq

Included in

Coq380

Auto-fetched 22 hours ago

Interaction Trees

A Library for Representing Recursive and Impure Programs in Coq

Stars255

Forks60

Last commit2 months ago

coq-haskell

A library for formalizing Haskell types and functions in Coq

Stars172

Forks12

Last commit2 years ago

Formalised Undecidable Problems

A library of mechanised undecidability proofs in the Coq proof assistant.

Stars142

Forks38

Last commit1 month ago

ExtLib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Stars135

Forks54

Last commit3 months ago