diff options
Diffstat (limited to 'snapshots/coq-riscv/bbv/README.md')
| -rw-r--r-- | snapshots/coq-riscv/bbv/README.md | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/snapshots/coq-riscv/bbv/README.md b/snapshots/coq-riscv/bbv/README.md deleted file mode 100644 index 7bb553bf..00000000 --- a/snapshots/coq-riscv/bbv/README.md +++ /dev/null @@ -1,11 +0,0 @@ -# bbv - Bedrock Bit Vectors - -Several Coq projects at MIT use a file called Word.v, defining bit vectors and lemmas about them. - -This repo unifies the different versions of this file into one repository, so that everyone can benefit from additions made by other projects. - -Suggested collaboration protocol: - -- For non-breaking, backwards-compatible (i.e. just additions) changes you just push to master, to keep the workflow as lightweight as possible. -- For more "controversial" changes which might break something, make a PR. - |