Technologies How it works Download for Mac

Technologies
Languages
More languages

Lean

Languages More languages

Learn Lean on your Mac

Official docs outline

Extra Credit builds an outline of Lean's docs the first time your work uses it.

Learn Lean from your own work

Extra Credit reads your Claude Code sessions, finds the Lean concepts in the code your agents write, and quizzes you on them, measured against its official docs.

bronzesilvergoldplatinum

Download for Mac

A macOS menu bar app for people who build with Claude Code.

More in More languages

KoLmafia ASH
KRL
LabVIEW
Lambdapi
Langium
Lasso
Leo
Lex
LFE
LilyPond
Limbo
Linear Programming

Home All technologies Sitemap

Docs outlines list section titles and link to each technology's official documentation, which belongs to its authors. Version and support data from endoflife.date and package registries. Logos from Simple Icons; trademarks belong to their owners.