← All repos

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