Xmonad from Coq: Programming a Window Manager with a Proof Assistant staff.science.uu.nl • 104 points