Univalent Foundations and the UniMath Library. - Anthony Bordg (CoRR, 2017)

The Localization of a Commutative Ring. - Anthony Bordg (Arch. Formal Proofs, 2018)

Projective Geometry. - Anthony Bordg (Arch. Formal Proofs, 2018)

On a Model Invariance Problem in Homotopy Type Theory. - Anthony Bordg (Appl. Categorical Struct., 2019)

Comment on "Quantum Games and Quantum Strategies". - Anthony Bordg; Yijun He (CoRR, 2019)

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. - Anthony Bordg; Hanna Lachnitt; Yijun He (Arch. Formal Proofs, 2020)

Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper). - Anthony Bordg; Nicolò Cavalleri (CICM Workshops, 2021)

Grothendieck's Schemes in Algebraic Geometry. - Anthony Bordg; Lawrence C. Paulson; Wenda Li 001 (Arch. Formal Proofs, 2021)

Elements of Differential Geometry in Lean: A Report for Mathematicians. - Anthony Bordg; Nicolò Cavalleri (CoRR, 2021)

Certified Quantum Computation in Isabelle/HOL. - Anthony Bordg; Hanna Lachnitt; Yijun He (J. Autom. Reason., 2021)

Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types. - Anthony Bordg; Lawrence C. Paulson; Wenda Li 001 (Exp. Math., 2022)

Encoding Dependently-Typed Constructions into Simple Type Theory. - Anthony Bordg; Adrián Doña Mateo (CPP, 2023)

Strict Omega Categories. - Anthony Bordg; Adrián Doña Mateo (Arch. Formal Proofs, 2023)

Formalising Half of a Graduate Textbook on Number Theory (Short Paper). - Manuel Eberl; Anthony Bordg; Lawrence C. Paulson; Wenda Li 001 (ITP, 2024)

Formalising Half of a Graduate Textbook on Number Theory (Formal Proof Development). - Manuel Eberl; Anthony Bordg; Lawrence C. Paulson; Wenda Li 001 (Zenodo, 2024)

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving. - Matthieu Zimmer; Xiaotong Ji; Rasul Tutunov; Anthony Bordg; Jun Wang 012; Haitham Bou-Ammar (CoRR, 2025)