Isabelle — αρχικό παράδειγμα — DedSec Project
theory Hello imports Main begin lemma truth: "True" by simp end
Αναφορά πηγαίου κώδικα
theory Hello
imports Main
begin
lemma truth: "True" by simp
end
theory Hello imports Main begin lemma truth: "True" by simp end
theory Hello
imports Main
begin
lemma truth: "True" by simp
end