欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Funf 是一个收集、分析移动数据的开源框架(GNU LGPL),由麻省理工学院开发,并得到了谷歌、三星和摩托罗拉的赞助。