| 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/ |
|