2 ms·

Using Coq to verify PDF files (video): http://www.youtube.com/watch?v=CmPw7eo3nQI http://www.youtube.com/watch?v=CmPw7eo3nQI The core of the xmonad window man

by ecyrb 13y ago

Using Coq to verify PDF files (video): http://www.youtube.com/watch?v=CmPw7eo3nQI http://www.youtube.com/watch?v=CmPw7eo3nQI The core of the xmonad window manager was verified with Coq (PDF): http://www.staff.science.uu.nl/~swier004/Publications/XmonadInCoq.pdf http://www.staff.science.uu.nl/~swier004/Publications/Xmonad...