package coq-riscv

  1. Overview
  2. No Docs
RISC-V Specification in Coq, somewhat experimental

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. M
    Massachusetts Institute of Technology

Maintainers

  1. J
    Jason Gross <jgross@mit.edu>

Sources

v0.0.2.tar.gz
sha512=0d66e2d59a208e47c5816bde085d64dd659149c7064ac480ec8fb89bd42a1e90e1a8ec6ccaf0b27b7413648b5fb0a965adeb13a4ad366ab1290b928741c6a8d1

Description

Tags

logpath:riscv

Published: 03 Oct 2022

Dependencies (3)

  1. coq-record-update >= "0.3.0"
  2. coq-coqutil = "0.0.2"
  3. coq >= "8.15~"

Dev Dependencies

None

Used by (1)

  1. coq-bedrock2-compiler < "0.0.4"

Conflicts

None