Leslie Lamport is also the guy who wrote a paper titled Buridanโs Principle, which is clearly a paper that tries to break some kind of record for published academic works given the number of times the word โassโ occurs in it. Heโs got a sense of humor and is certainly trolling us all with LaTeX.
add a skeleton here at some point
1 day ago