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