bad
/
crev-proofs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Initial template

This commit is contained in:
Dawid Ciężarkiewicz 2019-08-23 23:50:46 -07:00
commit b82d8bb229
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md Normal file
View File

@ -0,0 +1,3 @@
# Template of [Crev Proof Repository](https://github.com/crev-dev/crev/wiki/Proof-Repository)
[Fork](https://github.com/crev-dev/crev-proofs/fork) this repo to create your own, empty Proof Repository.