2020-07-08 09:15:20 +00:00
|
|
|
<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file. -->
|
2020-07-07 20:23:43 +00:00
|
|
|
|
2020-07-08 09:15:20 +00:00
|
|
|
# Proof Repository
|
|
|
|
|
|
|
|
|
|
This git repository is a [Crev Proof Repository](https://github.com/crev-dev/crev/wiki/Proof-Repository).
|
|
|
|
|
|
|
|
|
|
<!-- Feel free to customize this file below this line -->
|
