research
∙
09/28/2022
The Isabelle Community Benchmark
Choosing hardware for theorem proving is no simple task: automated prove...
share
research
∙
09/27/2022
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs
The Isabelle Archive of Formal Proofs has grown to a significant size in...
research
∙
07/21/2022
A Linter for Isabelle: Implementation and Evaluation
In interactive theorem proving, formalization quality is a key factor fo...
research
∙
04/27/2022