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