DEV Community

loading...

Discussion on: I'm programming a sumobot with the world's safest programming language

Collapse
awwsmm profile image
Andrew (he/him)

Yeah formal verification is really neat. Like type-checking on steroids.

Thread Thread
bosepchuk profile image
Blaine Osepchuk Author • Edited

At the risk of being argumentative, it's that and so much more.