Nathan Lutala (Jan 21 2024 at 09:10): Nathan Lutala (Jan 21 2024 at 09:10):Hello! I hope this message finds you well.
Does anyone have the BST_Demo.thy file for the Functional Data Structures worksheet?
For the time being, I've made a makeshift Tree.thy file by copying the code here: https://isabelle.in.tum.de/website-Isabelle2021/dist/library/HOL/HOL-Library/Tree.html
I've yet to find the official file made for the exercises and I think this would help me a lot. Please let me know if you have a link to where I can use this :)
Adem Rimpapa (Jan 21 2024 at 11:58):I'm not sure which Functional Data Structures worksheet you are referring to, but if you go to the FDS website, for example for the SS2023 course (https://www21.in.tum.de/teaching/fds/SS23/index.html), and go to Material, and then Demo theories for Part I, you should be able to find all the demo theories, including BST_Demo.thy.
Mathias Fleury (Jan 21 2024 at 11:58):My search engine found this https://www21.in.tum.de/teaching/fds/SS22/assets/Demos/ as first result…
Mathias Fleury (Jan 21 2024 at 11:59):which once you update to the newest semester give the link from Adem who was apparently faster at typing than I was
Last updated: Dec 21 2024 at 16:20 UTC