✳flâneur — a map of the web's best reading
Learn — Lean Lang
lean-lang.org · 96 words · saved by 2 readers
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Explore this link on the map →