Follow

I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (github.com/ImperialCollegeLond)
I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)

· · Web · 1 · 1 · 0

@christianp A nice introduction to Lean is Kevin's natural numbers game: wwwf.imperial.ac.uk/~buzzard/x
Although you may have advanced past that already.

Sign in to participate in the conversation
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!