Hacker News new | ask | show | jobs
Functional Programming in Lean – an in-progress book (leanprover.github.io)
2 points by d_christiansen 1473 days ago