TY  - RPRT
TI  - Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
AU  - Fabian Huch
PY  - 2024
UR  - https://arxiv.org/abs/2412.13083
ID  - 2412.13083
ER  -