DedSec Project

Isabelle — starter example — DedSec Project

theory Hello imports Main begin lemma truth: "True" by simp end

Source reference

theory Hello
  imports Main
begin
lemma truth: "True" by simp
end