login sign up

GitHub - lean-forward/logical_verification_2025: The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

github.com
saved by
0 people
related read on
Learning Lean: Part 1 from the discussion