M michaelburge.us Writing a formally-verified image browser in Coq and Haskell (2017) 90 points lelf 7 years ago 12 comments
