Lean

Common The Forge

Place in the album: No. 73,084 of 97,350
Address: lean-lang.org

What the site says

Lean Programming Language

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

Play to get it

Free, in your browser. A booster every 10 minutes.

Web TCG is a collectible card game where every card is a real website: 97,350 sites, six worlds, boosters to open.

Is this your website?

Show your visitors: paste this badge on your site. It links back to this page.

Code to paste into your page

<a href="https://web-tcg.com/carte/lean--lang-org"><img src="https://web-tcg.com/badge/lean--lang-org.en.svg" width="320" height="84" alt="My website is a Common card in Web TCG"></a>

Web TCG is not affiliated with lean-lang.org. Each card presents a public website: its name, its logo and what it says about itself.

You represent this website and would rather it had no card? Ask for its removal.