Stream: Coq users

Topic: Coq papers from FMBC '19 are out

view this post on Zulip Karl Palmskog (Aug 14 2020 at 18:57):

Three Coq papers related to blockchains here for those with institutional subscriptions: (preprints should be googlable)

view this post on Zulip Bas Spitters (Aug 14 2020 at 19:41):

Here's ours: and a related one

Last updated: Jun 17 2024 at 22:01 UTC