Sort by:
Order:

07 Dec 23

A slightly longer Lean 4 proof tour | What's new

https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/

Terry Tao gives a detailed description of exactly how to use Lean to formalize a proof.

by mcherm 2 years ago
Tags: