4 ms·
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.
by sn9 3y 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.