3 ms·
Was it a proof by hand or using a formal proof tool? Never trust proofs that aren’t formally verified by a modern proof tool.
by deterministic 4y ago
Was it a proof by hand or using a formal proof tool? Never trust proofs that aren’t formally verified by a modern proof tool.
- UncleMeat 4y agoFormal verification with model checking.
- deterministic 4y agoThat frankly sounds hard to believe. Which proof tool did he use? Link to paper?