Lean proof assistant
Tool ● Covered in 1 story + Follow
Lean proof assistant is tracked in TLDRocket’s tool dataset. Explore the recorded developments, relationships and supporting evidence below. Coverage reflects our monitored sources and may be incomplete.
Latest developments
Q4 2026
Research publication: PSI & Physical Superintelligence Research publication
Relationships
Products & technology
- Physical Superintelligence integrated with this tool · 1 source