Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Find theorems (was: Large bodies of knowledge)

Email Gateway (Aug 19 2022 at 13:42):

From: "Tim (McKenzie) Makarios" <tjm1983@gmail.com>
of this project). ...

Thank you! I can't remember how many times during my Master's I thought
"There must already be a lemma for this; I wonder what it's called", or
"I'm sure I've seen a lemma suitable for this, but I can't remember what
it's called", or "Haven't I already proven a lemma that'll work here? I
wonder what I called it". Find theorems was incredibly useful.

Tim
<><
signature.asc

Last updated: Apr 27 2024 at 01:05 UTC