Ethan Arrowood on Mythryl: “Not that I have any amount of free time, but I'd love to learn the…”

Not that I have any amount of free time, but I'd love to learn the Lean programming language. Will read this new book, "The Proof in the Code" in the meantime www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

9/9/26, 10:42 pm0 reposts2 likes

Post