I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (
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:
Although you may have advanced past that already.

Sign in to participate in the conversation

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