欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐21周年
灰狐21岁，生日快乐！
2021，什么也没做成，但网站还能访问。
世事难料，论逻辑学的重要性。
不平凡的 2020
当下，活着就是幸福的，感谢所有朋友们的支持与祝福。
灰狐历年生日活动回顾
企业2022年 赞助灰狐 计划，推广企业自身，也同时帮助Huihoo。
个人赞助，支持灰狐，交个朋友。
微信打赏
支付宝打赏
灰狐19岁
灰狐18岁
灰狐16岁
灰狐10周年
灰狐早年办公室
创业场-灰狐实验室
商业计划书
朋友早年送的礼物
