Wiki » History » Version 6
Ilya Shchepetkov, 06/25/2021 04:43 PM
| 1 | 2 | Ilya Shchepetkov | [[Инструкция по установке и настройке Rodin]] |
|---|---|---|---|
| 2 | 3 | Ilya Shchepetkov | [[Сборка модели и воспроизведение доказательств]] |
| 3 | 4 | Ilya Shchepetkov | [[Rodin core platform development]] |
| 4 | 5 | Pavel Ivanov | [[Инструкция по сборке плагина SMT-солверов]] |
| 5 | 6 | Ilya Shchepetkov | [[Инструкция по сборке Rodin]] |