Gems from TLA+ Community Day:

"Formal mathematics is nature's way of letting you know how sloppy your mathematics is." — Leslie Lamport

"Animation and visualization is nature's way of letting you know how sloppy your formal mathematics is." — Michael Leuschel

#FM2024 #TLAPlus