Giters

samuelgruetter / riscv-scala

Experiment: Exporting the Coq RISCV-spec to Scala

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

Experiment: Exporting the Coq RISCV-spec to Scala

Languages

Language:Scala 61.8%Language:Coq 35.6%Language:Makefile 2.6%