This website requires JavaScript.
Панель управління
Огляд
Довідка
Увійти
Isabelle/DOF
Підписатися
Репозиторії
1
Проєкт
Packages
Пошук
Сортувати
Найновіші
Найстаріші
За алфавітом
З кінця алфавіту
Нещодавно оновлено
Найдавніше оновлені
Найбільш обраних
Найменш обраних
Найбільше форків
Найменше форків
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