Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds

Fabian Huch

Interactive theorem provers are complex systems that require sophisticated platform efforts - and hence systems programming environments - to manage effectively. The Isabelle platf…