^ retarded nerd assertion
Lightning has had tons of problems in the past 10 years. Monero virtually none! The world’s most critical systems aren’t formally verified! Software written in Forth th...
Lots of software that should be formally verified aren't so because manually writing proof is prohibitedly expensive. That's not the case anymore with delegating writing proofs to LLMs.
1
