- Simon Wimmer 0001, Peter Lammich. Difference Bound Matrices. Archive of Formal Proofs, 2024, 2024.
- Manuel Eberl. Continued Fractions. Archive of Formal Proofs, 2024, 2024.
- Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón. Compactness Theorem for Propositional Logic and Combinatorial Applications. 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.
- Jamie Wright, Andrei Popescu. A formalized programming language with speculative execution. Archive of Formal Proofs, 2024, 2024.
- Manuel Eberl. A simple proof that π is irrational. Archive of Formal Proofs, 2024, 2024.
- Maximilian P. L. Haslbeck. NREST: Nondeterministc RESult monad with Time. 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.