Texten från Wikipedia nedan saknar källhänvisning. Kan du hitta en?
Klicka på Jag fixar det! för att gå till Wikipedia och fixa delen eller Nästa! för att se en annan. Lycka till!
På sidan Leslie Lamport:
"Lamport är mest känd för sin forskning inom distribuerade system och realtidssystem (bland annat på grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System från 1978). Han är också upphovsman till den välkända TeX-utökningen LaTeX. Han själv tror dock att det han kommer att bli ihågkommen för om hundra år är hans förslag till ett nytt sätt att skriva matematiska bevis. Han menar att det nuvarande sättet knappt har ändrats på 300 år och varken är lättläst eller strukturerat.[källa behövs]