Kevin Buzzard personal blog

The future of interactive theorem proving?

by @XenaProject xenaproject.wordpress.com published 2022-08-167 min read

This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon’s …

Points

111

HN comments

16

Submissions

1

Cited by

0 commenters

Math & AlgorithmsAI & Machine Learning2022

Related posts from the same era

Bicycle

Bartosz Ciechanowski20233,014 points399 commentscited by 14 details

4B If Statements

AAndreas Karlsson20231,518 points645 comments details

Heuristics that almost always work

Scott Alexander20221,000 points520 commentscited by 14 details

New Orleans teenagers found a new proof of the Pythagorean Theorem

Keith McNulty2023949 points251 comments details

Knuth's Art of Computer Programming, V 4B, has gone into print

DDonald Knuth2022940 points513 commentscited by 8 details

Conterintuitive facts in mathematics, CS, and physics

Axis of Ordinary2021936 points323 comments details