DePool Contract Verification (Phase 2)
Contract proofs in Coq according to the specifications produced in Phase 1.
終了
経過時間:
開始
24 11月 2020
経過時間:
投票中
11 12月, 04:59
経過時間:
終了投票中
21 12月, 04:59
経過時間:
投稿
6投稿
審査
開発中
勝者
投稿禁止
投票統計
全投稿に対して
プレース
3
平均レート
8.71
ポイント
13
投票
68
1
Seitaro
0:811...db0
提出日
26 11月 2020, 03:25
0
14
0
否決
2
michael_kabanov
0:9c5...d9c
提出日
01 12月 2020, 00:01
0
14
0
否決
3
提出日
01 12月 2020, 20:18
0
14
0
否決
4
提出日
06 12月 2020, 05:47
0
14
0
否決
5
FreeTONFoundation
0:fff...8b0
提出日
11 12月 2020, 00:06
2
3
7
否決
何かご意見はありますか？
チャットでメッセージをお待ちしています！