List of Proof Repositories

To help people bootstrap and find other users reviewing crates, we collect links to Proof Repositories. Feel free to add yours.

Use cargo crev fetch url <url> subcommand to import.

• https://github.com/dpc/crev-proofs # link
• https://framagit.org/antoyo/crev-proofs # link
• https://github.com/hirschenberger/crev-proofs # link
• https://github.com/Detegr/crev-proofs # link
• https://github.com/repi/crev-proofs # link
• https://github.com/bjorn3/crev-proofs # link
• https://github.com/vi/crev-proofs # link
• https://github.com/mglax/crev-proofs # link
• https://github.com/sgeisler/crev-proofs # link
• https://github.com/otavio/crev-proofs # link
• https://github.com/kornelski/crev-proofs # link