← Back to context Comment by lr0 11 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 11 hours ago Tests aren't proofs.
Tests aren't proofs.