欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo 21th Birthday
来自开放百科 - 灰狐
（版本间的差异）
小 (→逻辑学) |
小 |
||
| 第1行： | 第1行： | ||
| − | + | 灰狐21了... | |
| − | + | ||
| − | + | ||
==简介== | ==简介== | ||
| − | + | 2021，什么也没做成，只是还活着，网站还能访问。 | |
==逻辑学== | ==逻辑学== | ||
2021年12月21日 (二) 06:51的版本
灰狐21了...
目录 |
简介
2021，什么也没做成，只是还活着，网站还能访问。
逻辑学
在一个共和国，由于公民所接受的是理性与说服力而不是暴力的引导，推理的艺术就是最重要的。 ——托马斯-杰弗逊
世事难料，论逻辑学的重要性。
2020
不平凡的 2020
当下，活着就是幸福的，感谢所有朋友们的支持与祝福。
回忆
- 灰狐10周年 2010.12
赞助
企业2022年 赞助灰狐 计划，推广企业自身，也同时帮助Huihoo。
个人赞助，支持灰狐，交个朋友。
微信打赏
支付宝打赏
图集
灰狐19岁
灰狐18岁
灰狐16岁
灰狐10周年
灰狐早年办公室
创业场-灰狐实验室
商业计划书
朋友早年送的礼物
分享您的观点
