Matematikeren Terence Tao presenterer Lean Grimoire i et nytt blogginnlegg om bruk av Lean og små applets.

Kilde: https://terrytao.wordpress.com/2026/11/11/lean-grimoire/