ROLLAND Florence’s Reviews > The Proof in the Code: How a Truth Machine Is Transforming Math and AI > Status Update

This is definitely a book for people who studied (or have a special interest for) mathematics and computer science. In the first 30 pages, we already went from set theory to dependent type theory and covered the history of formal proofs.

I am very enthusiastic, because I studied theoretical computer science and mathematical modeling. But this book will be very raw for an audience that is new to formal methods.