Isabelle theory files

E1997103 UNEXPLORED

Isabelle theory files are structured source files written in the Isabelle proof assistant’s language that define formal theories, including types, constants, axioms, and proofs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isabelle theory files canonical	1

Referenced by (1)

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

Isabelle document preparation system → integratesWith → Isabelle theory files ⓘ