Isabelle/DOF

追蹤

儲存庫

1

專案 套件

搜尋

排序

最新建立 最早建立 按字母順序排序 按字母反向排序 最近更新 最少更新 最多星號 最少星號 最多 fork 最少 fork

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-04-16 09:11:13 +00:00