3 ms·
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
by prisonguard 3y ago
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
- ykonstant 3y agoA better way than what? The snippet you posted has nothing to do with how a beginner (or intermediate) learns Lean.