Isabelle Programming Tutorial

Isabelle Programming Tutorial

funded by the German Research Foundation (DFG)