Hacker News new | ask | show | jobs
Logic and Proof – learning proving with Lean (avigad.github.io)
1 points by hexhex 2871 days ago