OlegPowerC (28.02.2020 01:17, просмотров: 244) ответил OlegPowerC на Опыт пока маленький - выложу что нибудь стоещее на GitHub а ощущение отличное, от SPARK особенно-
- Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации? - Evgeny_CD(28.02.2020 01:22)
- Не мой Ж-) - OlegPowerC(28.02.2020 01:17)