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