- Benoît Ballenghien, Burkhart Wolff. A Bridge between CSP Processes and Functional Automata. Archive of Formal Proofs, 2026, 2026.
- Moritz Manke. Workflow Net Fitness Measures. Archive of Formal Proofs, 2026, 2026.
- Manuel Eberl, Patrick Lederer. The Impossibility of Strategyproof Rank Aggregation. Archive of Formal Proofs, 2026, 2026.
- Benoît Ballenghien. Parameterized Termination for Sequential Composition and Synchronization Product. Archive of Formal Proofs, 2026, 2026.
- Manuel Eberl. Linear orders as rankings. Archive of Formal Proofs, 2026, 2026.
- Manuel Eberl. Swap Distance. Archive of Formal Proofs, 2026, 2026.
- Yong-Dock Kim. Formal Verification of Axiom-Free Gödelian Ontological Argument and Trinity Necessity Proof in Isabelle HOL. Archive of Formal Proofs, 2026, 2026.
- Matthew Doty. Arbitrage Opportunities Correspond to Probability Inequality Identities. Archive of Formal Proofs, 2026, 2026.
- Diego Marmsoler, Asad Ahmed, Achim D. Brucker. Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL. Archive of Formal Proofs, 2026, 2026.
- Eugene W. Stark. 'Sets' Revisited: Working with a Large Category in Isabelle/HOL. Archive of Formal Proofs, 2026, 2026.