GitHub repository: Carotti/riscv-coq
Primary language: Coq
Description: RISC-V Specification in Coq