Anthony Bordg

According to our database, Anthony Bordg authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formalising Half of a Graduate Textbook on Number Theory (Short Paper).

Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Strict Omega Categories.

Anthony Bordg, Adrián Doña Mateo

Arch. Formal Proofs, 2023

Encoding Dependently-Typed Constructions into Simple Type Theory.

Anthony Bordg, Adrián Doña Mateo

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types.

Anthony Bordg, Lawrence C. Paulson, Wenda Li

Exp. Math., 2022

2021

Certified Quantum Computation in Isabelle/HOL.

Anthony Bordg, Hanna Lachnitt, Yijun He

J. Autom. Reason., 2021

Elements of Differential Geometry in Lean: A Report for Mathematicians.

Anthony Bordg, Nicolò Cavalleri

CoRR, 2021

Grothendieck's Schemes in Algebraic Geometry.

Anthony Bordg, Lawrence C. Paulson, Wenda Li

Arch. Formal Proofs, 2021

Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper).

Anthony Bordg, Nicolò Cavalleri

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.

Anthony Bordg, Hanna Lachnitt, Yijun He

Arch. Formal Proofs, 2020

2019

Comment on "Quantum Games and Quantum Strategies".

Anthony Bordg, Yijun He

CoRR, 2019

On a Model Invariance Problem in Homotopy Type Theory.

Anthony Bordg

Appl. Categorical Struct., 2019

2018

Projective Geometry.

Anthony Bordg

Arch. Formal Proofs, 2018

The Localization of a Commutative Ring.

Anthony Bordg

Arch. Formal Proofs, 2018

2017

Univalent Foundations and the UniMath Library.

Anthony Bordg

CoRR, 2017