Сегодня (11.12.21) конкурс The Assembler Module Formal Verification перешёл на стадию голосования 🏆 Задачей конкурсантов было выполнение формальной проверки одного из основных компонентов системы разработчиков - ассемблера TVM. Всего на конкурс было подано 6 заявок. 🥳 Призовой фонд: 142 500 EVER. 📆 Голосование продлится до 18.12.21. Вы можете посмотреть работы участников на нашем сайте 🔗 #contest #vote