Nicolas Méric nicolas.meric
  • Joined on Jan 27, 2021
Isabelle 0 0

Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

Updated 3 months ago