欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
科技园 High Technologoy Park
高科技工作者 Hign Technology Professionals
科技园论坛 High Tech Professionals Bulletin Board System
科技园 深圳科技园 科技园论坛 深圳科技园 南山科技园 深圳南山科技园 上海科技园 北京科技园 苏州科技园
