Comment by lr0 12 hours ago How is that better than just writing tests and running them in any other language, let's say Go? 1 comment lr0 Reply hei-lima 12 hours ago Tests aren't proofs.
Tests aren't proofs.