Wiki » History » Version 8
Ilya Shchepetkov, 07/30/2021 03:34 PM
| 1 | 7 | Ilya Shchepetkov | h2. Пользовательская документация |
|---|---|---|---|
| 2 | |||
| 3 | * [[Инструкция по установке и настройке Rodin]] |
||
| 4 | * [[Сборка модели и воспроизведение доказательств]] |
||
| 5 | 8 | Ilya Shchepetkov | * [[Changelog]] |
| 6 | 7 | Ilya Shchepetkov | |
| 7 | h2. Для разработчиков |
||
| 8 | |||
| 9 | * [[Rodin core platform development]] |
||
| 10 | * [[Инструкция по сборке плагина SMT-солверов]] |
||
| 11 | * [[Инструкция по сборке Rodin]] |