Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
TLA+lamport.azurewebsites.net · Low evidenceLeslie Lamport is a retired Microsoft researcher known for his foundational work in distributed systems and the creation of the TLA+ formal specification language. TLA+ is now managed by the TLA+ Foundation, and Lamport occasionally gives talks and interviews about his work.
TLA+Parse Score