Divya Anand (Nov 04 2021 at 02:25): Divya Anand (Nov 04 2021 at 02:25):I have a presentation due tomorrow on Isabelle HOL...No idea where to start or how to even describe this darn thing in basic English...HELP!!!
Divya Anand (Nov 04 2021 at 02:26):Any ideas?
Jiahong Lee (Nov 04 2021 at 03:30):Wikipedia please? https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29
It's always a good place to start for me.
Divya Anand (Nov 04 2021 at 04:45):Thanks!
Last updated: Feb 01 2025 at 20:19 UTC