欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐20周年
灰狐20岁,生日快乐!
灰狐是谁?Huihoo 历程。
不平凡的 2020
灰狐会员2折优惠活动(12.28一1.8)
知识星球任意金额赞助打赏,即可获得价值99元的灰狐和他的朋友们会员资格,欢迎大家参与。(12.28一1.8)
企业2021年 赞助灰狐 计划
个人赞助,交个朋友,推特微信微博随时交流互动。