blanchette/logical_verification_2020
View on GitHub ↗ ★ 95 Lean
Companion files for Logical Verification 2020–2021 at VU Amsterdam
5 mentions on Hacker News by 4 people: 2 stories, 3 comments · first 2020-04-03 · latest 2023-08-30
20082026
-
…repo which contains what is labeled a "tablet" version of the PDF along with solutions exercises: https://github.com/blanchette/logical_verification_2020 (unlicensed)
comment by mdaniel · 2023-08-30 · in The Hitchhiker’s Guide to Logical Verification [pdf] -
…and theorem proving for the deepest influences. The Hitchhiker's Guide to Logical Verification https://github.com/blanchette/logical_verification_2020/raw/... Benjamin Pierce: Backtracking Generators for Random Testing…
comment by Syzygies · 2021-11-14 · in Show HN: Luna is a Clojure domain specific language that translates to regex -
A recent book in the same vein: The Hitchhiker's Guide to Logical Verification https://github.com/blanchette/logical_verification_2020 This is a tipping point work making the case that type theory is like a musician reading sheet music.…
comment by Syzygies · 2021-11-11 · in Types and Programming Languages (2002) -
▲ 177
Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]story by kevinbuzzard · 2020-04-06 · 19 comments
-
▲ 4
The Hitchhiker’s Guide to Logical Verification [pdf]story by mathgenius · 2020-04-03 · 0 comments