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

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!