RISC-V Specification in Coq
Why do you think that https://github.com/rsnikhil/Forvis_RISCV-ISA-Spec is a good alternative to riscv-coq
RISC-V Specification in Coq
Why do you think that https://github.com/rsnikhil/Forvis_RISCV-ISA-Spec is a good alternative to riscv-coq