Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] how to know which lemma should be proved by ap...

Email Gateway (Aug 19 2022 at 16:23):

From: M A <tesleft@hotmail.com>
Hi
how to know which lemma should be proved by apply rules before proving theorem?
any books to teach a beginner to think which lemmas should be proved before going to theorem?
Regards,
Martin

Last updated: Mar 07 2026 at 12:53 UTC