Development of a distributed build platform for Isabelle
Clone Detection in Isabelle Theories
Go Code Generation
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
Theorem Dependency Mining
Isabelle/VSCode: Editor Improvements and Prover IDE integrations
