Functional Programming in Lean – an in-progress bookleanprover.github.io2 points·d_christiansen··0 commentsOpen articleSaveView on HN