Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
programming-languages · embed-ft 0.77
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
54 / 100 · ready · see similar
AI training policy
allowed
Terms of Service
found · https://lean4.dev/terms
AI-bot protection
AI files
Compliance (GEO / GDPR)
TLD
Overview
Title
Lean 4 - Learn Functional Programming & Theorem Proving | lean4.dev
Description
Learn Lean 4 as a modern functional programming language and interactive theorem prover. Free tutorials on tactics, do notation, Mathlib, Lake, and formal verification with hands-on examples.
Final URL
Language
en (html)
Scanned at
2026-06-24 03:05:19