If you are aware of any nice tricks/features/hidden gems for Isabelle, consider dropping them in the recently opened, community-run cookbook. I just re-read the entry about find_theorems and the features noted there saved me quite some time already :)
the proofs like in the table of contents in the readme does not work
(deleted)
Thx. Fixed it.
Last updated: Apr 03 2025 at 20:22 UTC