- Manuel Eberl. Continued Fractions. Archive of Formal Proofs, 2024, 2024.
- Peter Gammie. ConcurrentHOL. 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.
- Jakob Schulz, Emin Karayel. Karatsuba Multiplication on Integers. Archive of Formal Proofs, 2024, 2024.
- Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber. Broadcast Psi-calculi. Archive of Formal Proofs, 2024, 2024.