andreasdotorg Retweeted Renaissance Grrrl
TIL: Isabelle/HOL has NIL.https://twitter.com/wrengr/status/919737516697071617 …
andreasdotorg added,
7:29 AM - 16 Oct 2017
0 replies
0 retweets
1 like
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.