Category & trade
Primary
productivity · embed-ft 0.34
Tree path
Technology & Computing › Computing › Software and Applications › Productivity
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI-Readiness score
18 / 100 · not-ready · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
LeanGenius - Annotated Lean Proofs
Description
Understand Lean proofs line-by-line with annotated explanations
Final URL
Language
en (html)
Scanned at
2026-07-08 16:34:36