Homepage
Open in app
Sign in
Get started
All Articles
Tagged in
Coq
Concordium
The next generation Blockchain platform
More information
Followers
2.5K
Elsewhere
More, on Medium
Coq
Concordium
in
Concordium
Jan 28, 2020
WIP: Formalizing the Concordium consensus protocol in Coq
Read more…
151
Concordium
in
Concordium
Jan 28, 2020
Towards a Smart Contract Verification Framework in Coq
Read more…
151