- Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock. Digit Expansions. Archive of Formal Proofs, 2022, 2022.
- Eugene W. Stark. Residuated Transition Systems. Archive of Formal Proofs, 2022, 2022.
- Lawrence C. Paulson. Wetzel's Problem and the Continuum Hypothesis. Archive of Formal Proofs, 2022, 2022.
- Asta Halkjær From. A Naive Prover for First-Order Logic. Archive of Formal Proofs, 2022, 2022.
- Manuel Eberl. The Sophomore's Dream. Archive of Formal Proofs, 2022, 2022.
- Lawrence C. Paulson. Irrational numbers from THE BOOK. Archive of Formal Proofs, 2022, 2022.
- Emin Karayel. Universal Hash Families. Archive of Formal Proofs, 2022, 2022.
- Yosuke Ito. Actuarial Mathematics. Archive of Formal Proofs, 2022, 2022.
- Martin Raszyk. First-Order Query Evaluation. Archive of Formal Proofs, 2022, 2022.
- Emin Karayel. A Combinator Library for Prefix-Free Codes. Archive of Formal Proofs, 2022, 2022.