Report - Xmonad in CoqW.Swierstra/Talks/FPdag12.pdf · • Re-implement core xmonad data types and functions in Coq, • and ensure that the ‘extracted’ code is a drop-in replacement for

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form