欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
V2EX
来自开放百科 - 灰狐
V2EX：创意工作者们的社区
目录 |
简介
V2EX节点（nodes）、主题（topics）和标签（tab）的概念简单、清晰、设计也给力，是非常棒的社交网络原型。
项目
图集
链接
分享您的观点
