欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐会员
灰狐的付费服务
2018，以知识付费的方式提供技术交流和支持服务。
年费：99元RMB。
扫描加入灰狐的朋友们。
