- Ernie Cohen, Norbert Schirmer. A Reduction Theorem for Store Buffers. Archive of Formal Proofs, 2019, 2019.
- Manuel Eberl. Elementary Facts About the Distribution of Primes. Archive of Formal Proofs, 2019, 2019.
- Lars Hupel. An Algebra for Higher-Order Terms. Archive of Formal Proofs, 2019, 2019.
- Manuel Eberl. Selected Problems from the International Mathematical Olympiad 2019. Archive of Formal Proofs, 2019, 2019.
- Ralph Bottesch, Max W. Haslbeck, René Thiemann. Farkas' Lemma and Motzkin's Transposition Theorem. Archive of Formal Proofs, 2019, 2019.
- Simon Foster 0001, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff. Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs, 2019, 2019.
- Maxime Buyse, Jason Jaskolka. Communicating Concurrent Kleene Algebra for Distributed Systems Specification. Archive of Formal Proofs, 2019, 2019.
- Fabian Immler. Laplace Transform. Archive of Formal Proofs, 2019, 2019.
- Robert Sachtleben. Formalisation of an Adaptive State Counting Algorithm. Archive of Formal Proofs, 2019, 2019.
- Alexander Maletzky. Hilbert's Nullstellensatz. Archive of Formal Proofs, 2019, 2019.