logoalt Hacker News

lr0yesterday at 10:27 PM1 replyview on HN

How is that better than just writing tests and running them in any other language, let's say Go?


Replies

hei-limayesterday at 10:35 PM

Tests aren't proofs.