Hacker News new | ask | show | jobs
by MangoToupe 191 days ago
I think the implication is that Lamport is a proof nerd, not that LaTeX has a direct relationship to proof software.