- Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka. A Hoare Logic for Diverging Programs. Archive of Formal Proofs, 2023, 2023.
- Anthony Bordg, Adrián Doña Mateo. Strict Omega Categories. Archive of Formal Proofs, 2023, 2023.
- Emin Karayel. Expander Graphs. Archive of Formal Proofs, 2023, 2023.
- Michikazu Hirata, Yasuhiko Minamide. S-Finite Measure Monad on Quasi-Borel Spaces. Archive of Formal Proofs, 2023, 2023.
- Lawrence C. Paulson. Euler's Polyhedron Formula. Archive of Formal Proofs, 2023, 2023.
- Emin Karayel. Distributed Distinct Elements. Archive of Formal Proofs, 2023, 2023.
- Mnacho Echenim, Mehdi Mhalla, Coraline Mori. The CHSH inequality: Tsirelson's upper-bound and other results. Archive of Formal Proofs, 2023, 2023.
- Benjamin Bisping, Luisa Montanari. Coupled Similarity and Contrasimilarity, and How to Compute Them. Archive of Formal Proofs, 2023, 2023.
- Martin Rau. Earley Parser. Archive of Formal Proofs, 2023, 2023.
- Manuel Eberl, Katharina Kreuzer. Perfect Fields. Archive of Formal Proofs, 2023, 2023.