High-Assurance Web Programming with Coq Rockhttp://jaked.org/resume/coqrock.pdf by buff-a • 14 years ago 1 0 14 years agoJAjaked.org