欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
nsoshi 是一个基于Ruby on [[Rails] ]构建的开源(MIT)社交平台,类似 Facebook,但功能相对比较简单。