Avigad J , Massot P Mathematics in Lean 2025
Published by : BeMyLove | Views: 2 | Category: E-Books | Date: 14-09-2025, 10:46



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




Read More     
  • 0