A mechanisation of Wasm in Rocq
Rocq Prover
126
1,456 commits
updated Aug 25, 2026
730 commits
309 commits
248 commits
132 commits
94.2%
OCaml
5.1%
