[isabelle] Dijkstra Scholten Logic
Very new to Isabelle and theorem proving, so my questions may be stupid.
I am interested in tools to help students with Dijkstra Scholten equational
I find that there is one formalization in Maude:
Is redoing that in Isabelle a reasonable idea?
This archive was generated by a fusion of
Pipermail (Mailman edition) and