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 prisonguard on Monday April 10, 2023 @01:41PM (#35514981)
there has to be a better way for a beginner to learn Lean even with the faintest high school mathematics recollection.

I can still do theorem proving in Idris excluding the mathematical notation and still learn concepts such as totality, covering, equality etc

[ Parent | on HN ]
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 ]