The good news is that I still remember how to use the Isabelle proof assistant after not touching it for almost a year. The bad news is that it still has this bug where it suddenly is 3 AM, you're still not quite done with your proof and you have no idea where your day went…


· · Mastodon Twitter Crossposter · 0 · 0 · 0
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!