Для этого сайта требуется поддержка JavaScript.
Панель управления
Обзор
Помощь
Вход
Isabelle/DOF
Подписаться
Репозитории
1
Проекты
Пакеты
Поиск
Сортировать
Новейшие
Старейшие
По алфавиту
С конца алфавита
Недавно обновленные
Давно обновленные
Больше звезд
Меньше звезд
Больше форков
Меньше форков
Isabelle_DOF
Isabelle
0
2
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
isabelle
ontology
certification
Обновлено
2024-03-14 09:22:09 +00:00