Lean

Get started with Lean

Lean Manual

Matematica in Lean

Programmazione funzionale in Lean

La meccanica della dimostrazione

Dimostrazione di teoremi in Lean 4

Laboratorio Lean e-learning 2023-2024

LEAN sito

LEAN Community

Github comunità-leanprover

Natural Number Game

Terence Tao YouTube

Moogle

Noogle

Loogle

Hoogle