Karl Palmskog (Jul 17 2020 at 13:02): Karl Palmskog (Jul 17 2020 at 13:02):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?
Jason Gross (Jul 17 2020 at 23:30):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.
Bas Spitters (Jul 18 2020 at 11:09):I believe the project is of a similar size of quite a few of the other streams.
Last updated: Sep 09 2024 at 04:02 UTC