DEV Community


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

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.