A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
77,852 visible repositories in the index
1–3 of 3 · Most stars
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism