Concrete Semantics
Concrete Semantics by Nipkow and Kleinby Nipkow and Klein
Shares rank 22 of 25 computer science textbooks by recommenders
People recommend it as the normal starting point for learning semantics and program verification in Isabelle, calling it a cornerstone of that literature.
2 people recommended Concrete Semantics by Nipkow and Klein in Hacker News comments and none criticized it, November 2025 to October 2026.
1 of the 2 people who recommend it commented in one thread, “Lf-lean: The frontier of verified software engineering”.
Summary written by Claude from 3 comments. It was written before the November 2026 recount, and 2 of those comments still count.
2 people gave an opinion
- recommend it
- 2
- mixed feelings
- 0
- warn against or regret it
- 0
The record
Recommended in 2 of 12 months
In 2 different threads.
- November 2025: not recommended
- December 2025: not recommended
- January 2026: not recommended
- February 2026: not recommended
- March 2026: recommended
- April 2026: not recommended
- May 2026: not recommended
- June 2026: not recommended
- July 2026: not recommended
- August 2026: not recommended
- September 2026: not recommended
- October 2026: recommended
Why it doesn’t carry the badge
- 2 people recommend itNeeds 10 or more, not met.
- Nobody criticizes itNeeds 2 to 1 or better, met.
- Recommended in 2 of 12 monthsNeeds 4 or more, not met.
- Recommended in 2 threadsNeeds 5 or more, not met.
- The biggest thread supplies 50% of its recommendersNeeds half or less, met.
The same rules apply to every product, and the badge can’t be bought. Mixed feelings count toward neither side. How the badge works
What people say about it
Reasons grouped from a sample of 2 of the 2 opinions about it, picked in proportion to how many people recommend it, have mixed feelings and criticize it. Each mark is one comment in the sample. Open a reason to read what they said.
Why people recommend it
Each mark is one comment
Fans cite it as a textbook
“I'm also a fan of the Concrete Semantics textbook”
Comment from 3 Oct 2026 in “Anatomy of a Lean proof for software engineers” Cornerstone of Isabelle literature
“a cornerstone of Isabelle literature”
Comment from 17 Mar 2026 in “Lf-lean: The frontier of verified software engineering”
Other computer science textbooks people recommend
The four most recommended other computer science textbooks, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
| Product | Recommend | Mixed | Criticize | Approval | Months | Had for | Badge |
|---|---|---|---|---|---|---|---|
| Structure and Interpretation of Computer Programsby Abelson and Sussman | 51 | 8 | 4 | 93% | 12 | — | Approved |
| The Art of Computer Programmingby Donald E. Knuth | 25 | 3 | 6 | 81% | 10 | — | Approved |
| Quantum Computation and Quantum Informationby Nielsen and Chuang | 9 | 3 | 0 | 100% | 3 | — | — |
| Digital Design and Computer Architectureby Harris and Harris | 8 | 0 | 0 | 100% | 5 | — | — |
| Concrete Semanticsby Nipkow and KleinThis page | 2 | 0 | 0 | 100% | 2 | — | — |
What people said
All 2 opinions about it, newest first. Each links to the original comment.
“I'm also a fan of the Concrete Semantics textbook”
“a cornerstone of Isabelle literature”
Counts come from 1,791,911 Hacker News comments labeled by Claude, November 2025 to October 2026, with data through October 31, 2026. Counts updated 2 Nov 2026. How we count. Report a mistake.