Isabelle_DOF/upstream_zenodo/Isabelle_DOF-add_ons-2025/Isabelle_DOF-Ontologies
2026-03-31 13:59:31 +02:00
..
Exercise added basic Exercise ontology 2026-03-31 13:59:31 +02:00
ROOT added basic Exercise ontology 2026-03-31 13:59:31 +02:00