News for hackers. Stuff that matters.

A comment on Why Haskell?. Parent comment

Re:Why Haskell? by staunton on Thursday September 12, 2024 @05:03PM (#41525547)
> Work on porting mathlib to Lean 4 is far along

As far as I understand, that work is in fact done.

[ Parent | on HN ]

There are no comments on this comment yet.