Stream: fiat-crypto

Topic: Stream granularity


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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: Feb 06 2023 at 05:03 UTC