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

Tests aren't proofs.