Experiment: Exporting the Coq RISCV-spec to Scala A quick hack to export the Coq RISCV spec to Scala. Based on Coq Notations and Ltac hacks, not meant to become a durable solution.