欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
V2EX:创意工作者们的社区
V2EX节点(nodes)、主题(topics)和标签(tab)的概念简单、清晰、设计也给力,是非常棒的社交网络原型。