Бюрократы, Проверяющие участников, importer, Администраторы интерфейса, interwiki, oversight, patroller, Администраторы (Semantic MediaWiki), steward, Скрывающие, Администраторы
8365
правок
Изменения
нет описания правки
* [https://github.com/CatalaLang/ Официальные репозиторий]
* [https://github.com/CatalaLang/ Официальные репозиторий]
* [https://catala-lang.org/ Официальный сайт]
* [https://catala-lang.org/ Официальный сайт]
[[Категория:Литературное программирование]]
[[Категория:Legaltech]]
[[Категория:Формальная верификация программ]]
[[Категория:INRIA]]