> most of the proofs I've looked at appear super messy and chaotic to me (while still bei...

pdonis • today at 2:45 PM • 2 replies • view on HN

> most of the proofs I've looked at appear super messy and chaotic to me (while still being correct of course, so it doesn't matter)

How do you know they're correct if they're super messy and chaotic?

_jayhack_ • today at 2:52 PM

formal verifiability e.g. vi Lean

➕ show 1 reply

KPGv2 • today at 2:47 PM

I've driven back roads in Ireland. Super messy and chaotic. I was still able to use a map to get to my destination.

alt Hacker News