|
| The best articles from staff.science.uu.nl, according to Hacker News. |
|
| Change the ?site URL parameter to try it on any other website. Or click the domain shown after each post title. |
|
| 2012 | | Xmonad from Coq: Programming a Window Manager with a Proof Assistant (staff.science.uu.nl) |
| 104 points | 7 years ago with 7 comments |
|
|
