Category & trade
Primary
programming-languages · embed-ft 0.75
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
24 / 100 · not-ready · see similar
AI training policy
allowed
Terms of Service
found · https://lean-lang.org/terms
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
Lean Programming Language
Description
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Final URL
Language
en (html)
Scanned at
2026-07-08 16:33:51