- Katherine Kosaian, Zili Wang, Elizabeth Sloan. Mission-time Linear Temporal Logic. Archive of Formal Proofs, 2025, 2025.
- Tetsuya Sato 0001, Yasuhiko Minamide. Differential Privacy. Archive of Formal Proofs, 2025, 2025.
- Simon Wimmer 0001. Munta: A Verified Model Checker for Timed Automata. Archive of Formal Proofs, 2025, 2025.
- Christoph Benzmüller. Faithful Logic Embeddings in HOL - Deep and Shallow (Isabelle/HOL dataset). Archive of Formal Proofs, 2025, 2025.
- Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff. Examples of Restriction Spaces. Archive of Formal Proofs, 2025, 2025.
- Benjamin Puyobro. Morley's Theorem. Archive of Formal Proofs, 2025, 2025.
- Pablo Manrique. Quantum Fourier Transform. Archive of Formal Proofs, 2025, 2025.
- Benjamin Puyobro, Benoît Ballenghien, Burkhart Wolff. A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series. Archive of Formal Proofs, 2025, 2025.
- Sophie Tourret, Lawrence C. Paulson. Compactness Theorem for First-Order Logic. Archive of Formal Proofs, 2025, 2025.
- Stepan Holub, Martin Raska, Stepán Starosta, Tobias Nipkow. Power Operator for Lists. Archive of Formal Proofs, 2025, 2025.