What do you think?
Rate this book
LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
Explore Lean to write mathematically verified software and understand the future of provably correct computation.
127 pages, Kindle Edition
Published October 27, 2025
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.