Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Lean 4.0.0, first official lean4 release. Parent comment
I only had a basic knowledge of first-order logic and set theory before reading TPiL4. It wasn't easy, but now I can prove theorems in Lean. By the way, I still can't write a program in any language.
There are no comments on this comment yet.
I only had a basic knowledge of first-order logic and set theory before reading TPiL4. It wasn't easy, but now I can prove theorems in Lean. By the way, I still can't write a program in any language.