Intoduction to Isabelle
Isabelle is depicted as putting
some weight on the scale since Isabelle should not be counted as a
light-weight formal method
She wears a long red dress
since in terms of supported logic she is the queen with Higher
Order Logic subsuming the expressiveness of all the others
Of course this comes at a price
with the stearn teacher/librarian look on her face she punishes and despises
imprecise expressions
Isabelle is an allround solution in
research and science but sometimes still too far out of reach
