OberonCore https://forum.oberoncore.ru/ |
|
Автоматическое доказательство с помощью Why3 https://forum.oberoncore.ru/viewtopic.php?f=26&t=6652 |
Страница 1 из 1 |
Автор: | Владимир Паронджанов [ Суббота, 05 Сентябрь, 2020 19:39 ] |
Заголовок сообщения: | Автоматическое доказательство с помощью Why3 |
Владимир Шелехов рекомендует систему автоматического доказательства Why3. https://forum.drakon.su/viewtopic.php?p=105069#p105069 |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |