logoalt Hacker News

cuebitsyesterday at 8:14 PM2 repliesview on HN

also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether


Replies

tcfhgjyesterday at 8:29 PM

Why not just contribute to an open source project?

show 1 reply
akkad33yesterday at 8:54 PM

Lean the language?