search

mit-plv / riscv-coq

RISC-V Specification in Coq
BSD 3-Clause "New" or "Revised" License
109 stars 17 forks source link

Adapt w.r.t. coq/coq#16004 #30

Closed Alizter closed 2 years ago