GitHub repository: mit-plv/riscv-coq
Primary language: Coq
Created: 2018-06-22T15:09:34Z
Description: RISC-V Specification in Coq