Isar attributes

E1997095 UNEXPLORED

Isar attributes are modifiers in the Isabelle/Isar proof language that control and refine how theorems and rules are interpreted, applied, or stored within formal proofs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isar attributes canonical	1

Referenced by (1)

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

Isabelle/Isar Reference Manual → describes → Isar attributes ⓘ