news.volyx.in

Functional Programming in Lean (leanprover.github.io)

159 points by d_christiansen · 1188 days ago · 37 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.