README « coq « snapshots - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/snapshots/coq/README

blob: bd7f12d096b63d392983bda31a1adaa8b09994a9 (plain)

1
2

Check out a copy of https://github.com/mit-plv/bbv in the parent directory and
build it.  Then run ./build.