Re: [isabelle] A (very) short Isabelle/HOL tutorial for the functional programmer

[I posted this earlier but it seems to have not appeared; since my posts on
this thread seem to be appearing I am reposting here]

Very new to Isabelle and theorem proving, so my questions may be stupid.
Please excuse!

I am interested in tools to help students with Dijkstra Scholten equational
I find that there is one formalization in Maude:'s%20Syllogistic%20Logic%20with%20Complements.pdf?sequence=2

Is redoing that in Isabelle a reasonable idea?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.