A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
70,234 visible repositories in the index
1–2 of 2 · Most stars
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
70,234 visible repositories in the index
1–2 of 2 · Most stars
A library of mechanised undecidability proofs in the Coq proof assistant.
Partial Commutative Monoids