DePool Contract Verification (Phase 2)
Contract proofs in Coq according to the specifications produced in Phase 1.
Завершено
назад
Начало
24 ноября 2020
назад
Голосование
11 дек., 04:59
назад
Завершение
21 дек., 04:59
назад
Заявки
6 заявок
Судьи
В разработке
Призеры
Нет заявок
Статистика голосования
по всем заявкам
Приз. места
3
Средний рейтинг
8.71
Баллы
13
Голоса
68
1
Seitaro
0:811...db0
Дата подачи
26 нояб. 2020, 03:25
0
14
0
Отклонено
2
michael_kabanov
0:9c5...d9c
Дата подачи
01 дек. 2020, 00:01
0
14
0
Отклонено
3
Дата подачи
01 дек. 2020, 20:18
0
14
0
Отклонено
4
Дата подачи
06 дек. 2020, 05:47
0
14
0
Отклонено
5
FreeTONFoundation
0:fff...8b0
Дата подачи
11 дек. 2020, 00:06
2
3
7
Отклонено
Есть что сказать?
Ждем твоего сообщения в чате!