Anatomy of a Formal Proof

Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz

Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review

Original language	English
Pages (from-to)	188-195
Number of pages	8
Journal	Notices of the American Mathematical Society
Volume	72
Issue number	2
DOIs	https://doi.org/10.1090/noti3114
Publication status	Published - Feb 2025

Access to Document

@article{d0771d1cdcf34a98bbfd66ae38350c33,

title = "Anatomy of a Formal Proof",

author = "Jeremy Avigad and Johan Commelin and Heather Macbeth and Adam Topaz",

year = "2025",

month = feb,

doi = "10.1090/noti3114",

language = "English",

volume = "72",

pages = "188--195",

journal = "Notices of the American Mathematical Society",

issn = "0002-9920",

publisher = "American Mathematical Society",

number = "2",

}

TY - JOUR

T1 - Anatomy of a Formal Proof

AU - Avigad, Jeremy

AU - Commelin, Johan

AU - Macbeth, Heather

AU - Topaz, Adam

PY - 2025/2

Y1 - 2025/2

UR - http://www.scopus.com/inward/record.url?scp=85216108116&partnerID=8YFLogxK

U2 - 10.1090/noti3114

DO - 10.1090/noti3114

M3 - Comment/Letter to the editor

AN - SCOPUS:85216108116

SN - 0002-9920

VL - 72

SP - 188

EP - 195

JO - Notices of the American Mathematical Society

JF - Notices of the American Mathematical Society

IS - 2

ER -