Email Gateway (Aug 19 2022 at 13:36): Email Gateway (Aug 19 2022 at 13:36):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
Unless I missed it, this one is not listed on http://isabelle.in.tum.de/
A single concise and comprehensive page on a kind of wiki:
http://www.ist.tugraz.at/isac/Programming_in_Isabelle/HOL
May be useful to keep close at hands, as an example to mention it within
replies to people who ask questions on StackOverflow about SML programming
and someone invite him/her to try SML from Isabelle, as I've noticed this
sometimes occurs.
Email Gateway (Aug 19 2022 at 13:36):From: Walther Neuper <wneuper@ist.tugraz.at>
On 02/19/2014 12:23 AM, Yannick Duchêne (Hibou57) wrote:
Unless I missed it, this one is not listed on http://isabelle.in.tum.de/
A single concise and comprehensive page on a kind of wiki:
http://www.ist.tugraz.at/isac/Programming_in_Isabelle/HOL
uuups, feeling repsonsible for that page I wouldn't recommend it as a
"concise and comprehensive" introduction to “Programming in Isabelle/HOL”.
That page collected ad-hoc notes from the work with some students in
mathematics, who were neither good in programming nor really interested
in computer theorem proving.
For the next group of students this page will undergo essential updates
--- for compelling reasons!
May be useful to keep close at hands, as an example to mention it
within replies to people who ask questions on StackOverflow about SML
programming and someone invite him/her to try SML from Isabelle, as
I've noticed this sometimes occurs.
Last updated: Apr 23 2024 at 08:19 UTC