Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Amaral's user avatar
  • 41
0 votes
1 answer
95 views

Isabelle (rule disjE) disjunction elimination rule

...
Ricardo Boza's user avatar