Project

General

Profile

Edit History

Wiki » History » Version 7

Ilya Shchepetkov, 07/30/2021 02:18 PM

1 7 Ilya Shchepetkov 
h2. Пользовательская документация
2 





    3
    
    
    
* [[Инструкция по установке и настройке Rodin]]





    4
    
    
    
* [[Сборка модели и воспроизведение доказательств]]





    5
    
    
    





    6
    
    
    
h2. Для разработчиков 





    7
    
    
    





    8
    
    
    
* [[Rodin core platform development]]





    9
    
    
    
* [[Инструкция по сборке плагина SMT-солверов]]





    10
    
    
    
* [[Инструкция по сборке Rodin]]