crev-proofs/README.md

9 lines
294 B
Markdown
Raw Normal View History

2022-03-31 18:57:56 +02:00
<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file. -->
2019-08-24 08:50:46 +02:00
2022-03-31 18:57:56 +02: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 -->