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 [www.michaelburge.us]
2017-08-27 01:12
Hopefully this example shows that there’s nothing really stopping anyone from using Coq in their Haskell programs today.
source: L