Kevin Kappelmann (Apr 08 2020 at 16:11): Kevin Kappelmann (Apr 08 2020 at 16:11):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 :)
Julian (Apr 29 2020 at 14:15):the proofs like in the table of contents in the readme does not work
Julian (Apr 29 2020 at 14:15):(deleted)
Simon Wimmer (Apr 29 2020 at 16:35):Thx. Fixed it.
Last updated: Dec 21 2024 at 12:33 UTC