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…
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!