Slowing the Spread of Infectious Diseases Using Crowdsourced Data. - Sydney von Arx; Isaiah Becker-Mayer; Daniel Blank; Jesse Colligan; Rhys Fenwick; Mike Hittle; Mark Ingle; Oliver Nash; Victoria Nguyen; James Petrie; Jeff Schwaber; Zsombor Szabo; et al. (IEEE Data Eng. Bull., 2020)

Formalising lie algebras. - Oliver Nash (CPP, 2022)

Formalising the h-Principle and Sphere Eversion. - Floris van Doorn; Patrick Massot; Oliver Nash (CPP, 2023)

A Formalisation of Gallagher's Ergodic Theorem. - Oliver Nash (ITP, 2023)

Engel's Theorem in Mathlib. - Oliver Nash (J. Autom. Reason., 2023)