Proof General: Emacs front end for proof assistants https://proofgeneral.github.io/ pic.twitter.com/EnbRqXhfk1
6:47 AM - 21 Sep 2016
0 replies
17 retweets
26 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.