lean-forward/logical_verification_2025
View on GitHub ↗ ★ 178 Lean
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2025-11-03 · latest 2026-03-17
20082026
-
…for more than a year, and I've found refinement types sufficient and much easier to review. [1] https://github.com/lean-forward/logical_verification_2025 [2] http://concrete-semantics.org [3] https://direct.mit.edu/books/monograph/4338/The-…
comment by nextos · 2026-03-17 · in Lf-lean: The frontier of verified software engineering -
…canonical Isabelle book [1] has been rewritten in Lean [2]. [1] http://concrete-semantics.org [2] https://github.com/lean-forward/logical_verification_2025
comment by nextos · 2026-02-18 · in Learning Lean: Part 1 -
…Verification” but haven’t yet found the time to work through it. The 2025 edition material is at https://github.com/lean-forward/logical_verification_2025?ta... An older version (2022-2023) with video lectures is at…
comment by i_don_t_know · 2025-11-15 · in Ask HN: Looking for a good course to learn proof assistant Lean 4 -
…straightforward [3], but again this is just a toy problem. [1] http://concrete-semantics.org [2] https://github.com/lean-forward/logical_verification_2025 [3] https://github.com/hwayne/lets-prove-leftpad
comment by nextos · 2025-11-03 · in Why don't you use dependent types?