Status Updates From Theorem Proving in Lean

Theorem Proving in Lean

Theorem Proving in Lean
by

Jeremy Avigad, Leonardo de Moura, and Soonho Kong

all editions | this edition
show all updates | only show updates with text

Status Updates Showing 1-2 of 2

oguz

oguz is 40% done

— Apr 30, 2026 07:58AM Add a comment

Theorem Proving in Lean

Mateusz Jany

Mateusz Jany is on page 20 of 167

— Jan 25, 2026 04:46AM Add a comment

Theorem Proving in Lean