We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated List of Proof Repositories (markdown)
Fix dead link to web.crev.dev users page
Add my proof repo
Add my own proof repo
usage instructions
Pre-0.6 is no longer relevant
Added my crev proof repo and corrected link to comprehensive list of all repos.
Add roblabla's crev-proofs
adding a new crev-proofs
add my own proof repo
Add my own proofs
Fixed the fetch command. Added my crev-proofs repo
Adding my proof repo, as instructed on the Matrix channel.
Add https://github.com/kpcyrd/crev-proofs