Goodreads Choice Awards Finalists 2025

Maths Proofs in Lean > Editions

by Tariq Rashid

Sort by
Format
Language
Editions
Showing 1-3 of 3
Maths Proofs in Lean: First Steps
Maths Proofs in Lean: First Steps (Kindle Edition)
Published February 7th 2025
Kindle Edition
Author(s):
ASIN:
B0DWHS1RDJ
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Maths Proofs in Lean: First Steps
Maths Proofs in Lean: First Steps (Hardcover)
Published February 8th 2025 by Independently published
Hardcover, 147 pages
Author(s):
ISBN:
9798309841790
ASIN:
B0DWKMK49T
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Maths Proofs in Lean: First Steps
Maths Proofs in Lean: First Steps (Paperback)
Published February 8th 2025 by Independently published
Paperback, 147 pages
Author(s):
ISBN:
9798309834990
ASIN:
B0DWKNJ1DS
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page