M michaelburge.us Writing a formally-verified image browser in Coq and Haskell 144 points MichaelBurge 9 years ago 39 comments
