Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sn9
7 months ago
|
parent
|
context
|
favorite
| on:
A Gentle Introduction to the Art of Mathematics
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.
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
