4 citations · 7 across the 6 of their papers we have counts for
4 papers · 1 filter
The Isabelle Community Benchmark
Fabian Huch, Vincent Bode
Choosing hardware for theorem proving is no simple task: automated provers are highly complex and optimized programs, often utilizing a parallel computation model, and there is lit…
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs
Fabian Huch
The Isabelle Archive of Formal Proofs has grown to a significant size in the past years. It makes up for an impressive body of research, which enables a number of statistical appro…
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,…
FindFacts: A Scalable Theorem Search
Fabian Huch, Alexander Krauss
The Isabelle Archive of Formal Proofs (AFP) has grown to over 500 articles in late 2019. Meanwhile, finding formalizations in it has not exactly become easier. At the time of writi…