Had a great time becoming acquainted with TLA+ today. I’ve only just dipped my toe in but I am confident more formal proving systems will only become more useful in the brave new world.
If you'd like to reply to this post, I'd love to hear from you. Feel free to email me.