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
-
▲ 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