Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle