Stream: General

Topic: Cookbook


view this post on Zulip 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 :)

view this post on Zulip Julian (Apr 29 2020 at 14:15):

the proofs like in the table of contents in the readme does not work

view this post on Zulip Julian (Apr 29 2020 at 14:15):

(deleted)

view this post on Zulip Simon Wimmer (Apr 29 2020 at 16:35):

Thx. Fixed it.


Last updated: Aug 15 2022 at 04:16 UTC