- Martin Dvorak, Vladimir Kolmogorov. Duality theory in linear optimization and its extensions - formally verified. Ann. Formaliz. Math., 2, 2026.
- Judith Ludwig, Christian Merten. Formalising the Bruhat-Tits Tree. Ann. Formaliz. Math., 2, 2026.
- Sven Manthe. A formalization of Borel determinacy in Lean. Ann. Formaliz. Math., 2, 2026.
- Salvatore Mercuri. Formalising the local compactness of the adele ring. Ann. Formaliz. Math., 1, 2025.
- Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang. A complete formalization of Fermat's Last Theorem for regular primes in Lean. Ann. Formaliz. Math., 1, 2025.
- Emin Karayel. Derandomization with Pseudorandomness. Ann. Formaliz. Math., 1, 2025.
- David Loeffler, Michael Stoll. Formalizing zeta and L-functions in Lean. Ann. Formaliz. Math., 1, 2025.
- Joël Riou. Formalization of derived categories in Lean/mathlib. Ann. Formaliz. Math., 1, 2025.