News for hackers. Stuff that matters.

A comment on Lean 4.0.0, first official lean4 release. Parent comment

Re:Lean 4.0.0, first official lean4 release by brohee on Friday September 08, 2023 @04:22AM (#37430988)
Kinda agree but Mathlib and its documentation makes for a big corpus to learn by example from. Not ideal but it helps.

https://github.com/leanprover-community/mathlib

[ Parent | on HN ]

There are no comments on this comment yet.