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
Thx. Fixed it.
Last updated: Dec 07 2023 at 08:19 UTC