Comment by MangoToupe

2 months ago

I think the implication is that Lamport is a proof nerd, not that LaTeX has a direct relationship to proof software.

0 comments