欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
混在广州5个年头,主要关注企业应用,移动互联网 广告 HTML5 Android 应用。希望多交流,个人技术blog [1]