Follow

RT @jix_@twitter.com

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…

🐦🔗: twitter.com/jix_/status/133518

· · Mastodon Twitter Crossposter · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

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!