Formalisation of Selected Results from Group Theory
Formalisation of Interval Methods for Nonlinear Root-Finding
A Linter for Isabelle
Query Optimization for Databases
Techniques for First-Order Term Indexing in Isabelle/ML
Isabelle/VSCode: Editor Improvements and Prover IDE integrations