Sunday, April 23, 2017

xmonad in Coq - Programming a Window Manager with a Proof Assistant

http://ift.tt/1c2DJbI

Submitted April 23, 2017 at 11:18AM by based2 http://ift.tt/2q46QpP Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)