~icefox/crev-proofs

Proofs for the `crev` code review tool: https://github.com/dpc/crev
Add review for wasm-bindgen-shared v0.2.54
Add review for oorandom v11.1.0
Add review for glutin_glx_sys v0.1.5

refs

master
browse log

clone

read-only
https://git.sr.ht/~icefox/crev-proofs
read/write
git@git.sr.ht:~icefox/crev-proofs

You can also use your local clone with git send-email.

Proof Repository

This git repository is used a Crev Proof Repository.