欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Brim is an application suite that allows you to manage all your personal items online. No need to syncronize your bookmarks/favorites and contacts,
http://www.brim-project.org/
