Lean

Commun La Forge

Un site de tech

Place dans l’album: N° 73 084 sur 97 350
Adresse: lean-lang.org

Ce que dit le site

Lean Programming Language

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

Joue pour l’obtenir

Gratuit, dans ton navigateur. Un booster toutes les 10 minutes.

Web TCG est un jeu de cartes à collectionner où chaque carte est un vrai site web : 97 350 sites, six mondes, des boosters à ouvrir.

Ton site est une carte ?

Montre-le à tes visiteurs : colle ce badge sur ton site. Il renvoie vers cette page.

Code à coller dans ta page

<a href="https://web-tcg.com/carte/lean--lang-org"><img src="https://web-tcg.com/badge/lean--lang-org.svg" width="320" height="84" alt="Mon site est une carte Commun de Web TCG"></a>

Web TCG n’est pas affilié à lean-lang.org. Chaque carte présente un site public : son nom, son logo et ce qu’il dit de lui-même.

Tu représentes ce site et tu préfères qu’il n’ait pas de carte ? Demande son retrait.