A framework for smart contract verification in Coq
created at Jan. 10, 2019, 7:19 p.m.
11 +0
108 +1
18 +0