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: https://link.springer.com/book/10.1007/978-3-030-54994-7 (preprints should be googlable)

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

Here's ours:
https://arxiv.org/abs/1911.04732 and a related one http://arxiv.org/abs/1907.10674


Last updated: Oct 04 2023 at 22:01 UTC