A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library