samuelgruetter / riscv-coqLinks
RISC-V Specification in Coq
☆12Updated 6 years ago
Alternatives and similar repositories for riscv-coq
Users that are interested in riscv-coq are comparing it to the libraries listed below
Sorting:
- Bedrock Bit Vector Library☆27Updated last year
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Updated 8 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Foundational Verification of Hybrid Systems☆15Updated 8 years ago
- An implementation of binary session types in OCaml