- Emin Karayel, Edgar Gonzàlez. Strong Eventual Consistency of the Collaborative Editing Framework WOOT. Archive of Formal Proofs, 2020, 2020.
- Safouan Taha, Burkhart Wolff, Lina Ye. The HOL-CSP Refinement Toolkit. Archive of Formal Proofs, 2020, 2020.
- Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider 0001, Dmitriy Traytel. Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Archive of Formal Proofs, 2020, 2020.
- David Fuenmayor. Topological semantics for paraconsistent and paracomplete logics. Archive of Formal Proofs, 2020, 2020.
- Lawrence C. Paulson. The Nash-Williams Partition Theorem. Archive of Formal Proofs, 2020, 2020.
- Sophie Tourret. A Comprehensive Framework for Saturation Theorem Proving. Archive of Formal Proofs, 2020, 2020.
- Mathias Fleury, Daniela Kaufmann. Practical Algebraic Calculus Checker. Archive of Formal Proofs, 2020, 2020.
- Eugene W. Stark. Bicategories. Archive of Formal Proofs, 2020, 2020.
- Walter Guttmann, Nicolas Robinson-O'Brien. Relational Minimum Spanning Tree Algorithms. Archive of Formal Proofs, 2020, 2020.
- Dominique Unruh, José Manuel Rodríguez Caballero. Banach-Steinhaus Theorem. Archive of Formal Proofs, 2020, 2020.