All Questions
Tagged with isabelle proof-techniques
2 questions
4
votes
1
answer
340
views
Proof on tree size using Isabelle
I'm trying to learn a little bit about Isabelle and proofs in general, and it's uses in Programming Language Theory. I'm following a book, "Concrete Semantics with Isabelle/HOL". I'm still in the ...
0
votes
1
answer
95
views