nLab Daniel Grayson

Daniel Richard Grayson (–2026)

• personal page

• MathGenealogy page

• GoogleScholar page

• ResearchGate page

Selected writings

On an early experimental proof assistant, TS, for homotopy type theory:

• Daniel Grayson: State of the New Proof Assistant, talk at IAS (January 17, 2013) [video:ias, yt]

On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

• Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson: Symmetry (2021) $[$pdf$]$

Related entries

• univalent foundations of mathematics

• UniMath project

category: people