欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Web Standards Project
来自开放百科 - 灰狐
Web 标准计划 (Web Standards Project, WaSP) 于 1998 年成立，目标便是促进核心的 web 标准的推广，鼓励浏览器厂商对标准的支持，为大家寻求一条简单而便利之路。
链接
<discussion>characters_max=300</discussion>
分享您的观点
