I keep vacillating between "formal verification is cool and fun" and "these are just academic toys that will never be mainstream".

Sign in to participate in the conversation

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!