Is Fiat-crypto in itself large enough to have a separate stream? Perhaps "Crypto and probability devs & users" (or just "Crypto and security devs & users") might make more sense? Given the name, isn't fiat-crypto itself a subproject of sorts of the "Fiat" umbrella project?
I'm not sure about stream granularity (it was @Bas Spitters who suggested having a stream). But fiat-crypto is not a subproject of Fiat (at least not anymore than Coq or NuPRL or HOL are subprojects of LCF); the original implementation of fiat-crypto was inspired by the proof-by-refinement style of Fiat, but we've moved a decent distance from there, and there's certainly no relation between the codebases.
I believe the project is of a similar size of quite a few of the other streams.
Last updated: Feb 06 2023 at 05:03 UTC