We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Exercise for Isabelle 2021.
Solutions of concrete semantics!