Lean

Común La Forja

Un sitio de tecnología

Puesto en el álbum: N.º 73.084 de 97.350
Dirección: lean-lang.org

Lo que dice el sitio

Lean Programming Language

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

Juega para conseguirla

Gratis, en tu navegador. Un sobre cada 10 minutos.

Web TCG es un juego de cartas coleccionables donde cada carta es un sitio web real: 97.350 sitios, seis mundos, sobres que abrir.

¿Es tu sitio?

Enséñaselo a tus visitantes: pega esta insignia en tu sitio. Enlaza a esta página.

Código para pegar en tu página

<a href="https://web-tcg.com/carte/lean--lang-org"><img src="https://web-tcg.com/badge/lean--lang-org.es.svg" width="320" height="84" alt="Mi sitio es una carta Común de Web TCG"></a>

Web TCG no está afiliado a lean-lang.org. Cada carta presenta un sitio público: su nombre, su logo y lo que dice de sí mismo.

¿Representas este sitio y prefieres que no tenga carta? Pide su retirada.