Isabelle proof document model

E1997098 UNEXPLORED

The Isabelle proof document model is a structured framework within the Isabelle proof assistant that organizes, manages, and incrementally processes formal proofs and theories as editable documents.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isabelle proof document model canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Isar proof language → integratedWith → Isabelle proof document model ⓘ