4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 2 cited
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…
cs.LO2022★ 4 cited
A Linter for Isabelle: Implementation and Evaluation
Yecine Megdiche, Fabian Huch, Lukas Stevens
In interactive theorem proving, formalization quality is a key factor for maintainability and re-usability of developments and can also impact proof-checking performance. Commonly,…