- Manuel Eberl. Continued Fractions. Archive of Formal Proofs, 2024, 2024.
- Peter Gammie. ConcurrentHOL. Archive of Formal Proofs, 2024, 2024.
- Yannick Stade, Sarah Tilscher, Helmut Seidl. Partial Correctness of the Top-Down Solver. Archive of Formal Proofs, 2024, 2024.
- Shuhao Song, Bowen Yao. Prime Number Theorem with Remainder Term. Archive of Formal Proofs, 2024, 2024.
- Yong Kiam Tan, Jiong Yang. Approximate Model Counting. Archive of Formal Proofs, 2024, 2024.
- Ata Keskin. Doob's Upcrossing Inequality and Martingale Convergence Theorem. Archive of Formal Proofs, 2024, 2024.
- Georg Struth, Tanguy Massacrier. Cubical Categories. Archive of Formal Proofs, 2024, 2024.
- Achim D. Brucker, Amy Stell. (Extended) Interval Analysis. Archive of Formal Proofs, 2024, 2024.
- Tobias Nipkow. Region Quadtrees. Archive of Formal Proofs, 2024, 2024.
- Xavier Parent, Christoph Benzmüller. Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Archive of Formal Proofs, 2024, 2024.