Avigad J , Massot P Mathematics in Lean 2025 | 1.83 MB

Title: Mathematics in Lean
Author: Jeremy Avigad & Kevin Buzzard & Robert Y. Lewis & Patrick Massot