News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

Re:What I've Learned About Formal Methods in Half a Year by ykonstant on Monday April 10, 2023 @02:44PM (#35515822)
A better way than what? The snippet you posted has nothing to do with how a beginner (or intermediate) learns Lean.
[ Parent | on HN ]

There are no comments on this comment yet.