Hacker News new | ask | show | jobs
by sn9 811 days ago
The 3rd edition of Velleman's book has an online supplement that uses Lean to work through the book so you can get feedback about your proofs.