New top story on Hacker News: Writing a formally-verified image browser in Coq and Haskell (2017)

Writing a formally-verified image browser in Coq and Haskell (2017)
4 by lelf | 1 comments on Hacker News.