Wiki » History » Revision 7
Revision 6 (Ilya Shchepetkov, 06/25/2021 04:43 PM) → Revision 7/8 (Ilya Shchepetkov, 07/30/2021 02:18 PM)
h2. Пользовательская документация * [[Инструкция по установке и настройке Rodin]] * [[Сборка модели и воспроизведение доказательств]] h2. Для разработчиков * [[Rodin core platform development]] * [[Инструкция по сборке плагина SMT-солверов]] * [[Инструкция по сборке Rodin]]