Category & trade
Primary
homework-and-study · embed-ft 0.5
Tree path
Education › Homework and Study
Group (tier-1)
Also (top-3)
online-education0.21
AI readiness
AI-Readiness score
28 / 100 · not-ready · see similar
AI training policy
allowed
AI-bot protection
AI files
Compliance (GEO / GDPR)
TLD
Overview
Title
LeanLingo — open Lean 4 trainer
Description
LeanLingo — open Lean 4 flashcard trainer. Practice Lean 4 syntax, tactics, and proofs anywhere.
Final URL
Language
en (html)
Scanned at
2026-07-08 16:31:02