undecidabot
do read "ML for the Working Programmer" by Lawrence Paulson (author of Isabelle).
Also recommended in this reply
Typographic jacket · original cover not fetched
FROM THE SHARED SHELF · 2020–2026 SAMPLE
ML for the Working Programmer
1 reader recommends it across 1 discussion
Topics are model-inferred labels.
Keep it on your reading list
THE WORD OF MOUTH
What made it worth passing on?
Excerpts from the original Hacker News comments.