欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐会员
灰狐的付费服务
2018，以知识付费的方式提供技术交流和支持服务。
年费：99元RMB。
灰狐全年不停歇的技术支持、总结、培训、公开课的分享。365天的陪伴，一起交流、学习，一起成长、进步。
扫描二维码即可加入灰狐的朋友们，期待你的参与。
