Michael Burge personal blog
Writing a formally-verified image browser in Coq and Haskell
The original page did not respond normally when we last checked (HTTP 503). The archived copy may help.
- Points
- 144
- HN comments
- 51
- Submissions
- 2
- Cited by
- 0 commenters
Software EngineeringSecurity & Privacy2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 26, 2017 | Writing a formally-verified image browser in Coq and Haskell by MichaelBurge | 144 | 39 |
| Jun 5, 2019 | Writing a formally-verified image browser in Coq and Haskell (2017) by lelf | 90 | 12 |
