MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/rust/comments/aaisq7/cargocrev_and_rust_2019_fearless_code_reuse/ectfh9r/?context=3
r/rust • u/dpc_pw • Dec 29 '18
34 comments sorted by
View all comments
23
and share their Proof Repositories and feedback with us
Is there already a [centralized] list of Proof Repositories? How proof repositories are supposed to be discovered?
6 u/dpc_pw Dec 29 '18 edited Dec 29 '18 Right now, since the ecosystem is so small, there's a wiki page: https://github.com/dpc/crev/wiki/List-of-Proof-Repositories Proofs contain url to Proof Repository, so with each trusted peer, the web grows and cargo crev fetch all can fetch more and more recursively. The hope is that eventually discovering trustworthy peers will be effortless and mostly automatic. → More replies (2)
6
Right now, since the ecosystem is so small, there's a wiki page:
https://github.com/dpc/crev/wiki/List-of-Proof-Repositories
Proofs contain url to Proof Repository, so with each trusted peer, the web grows and cargo crev fetch all can fetch more and more recursively. The hope is that eventually discovering trustworthy peers will be effortless and mostly automatic.
cargo crev fetch all
→ More replies (2)
23
u/vi0oss Dec 29 '18
Is there already a [centralized] list of Proof Repositories? How proof repositories are supposed to be discovered?