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