Writing a Formally-Verified Porn Browser in Coq and Haskell http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html …
10:20 AM - 27 Aug 2017
0 replies
2 retweets
3 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.