欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo 21th Birthday
来自开放百科 - 灰狐
(版本间的差异)
(以“灰狐21周年 灰狐21岁,生日快乐! ==简介== 2021,什么也没做成,但网站还能访问。 ==逻辑学== 世事难料,论逻辑学的重要...”为内容创建页面) |
小 (→逻辑学) |
||
第7行: | 第7行: | ||
==逻辑学== | ==逻辑学== | ||
+ | 在一个共和国,由于公民所接受的是理性与说服力而不是暴力的引导,推理的艺术就是最重要的。 ——托马斯-杰弗逊 | ||
世事难料,论逻辑学的重要性。 | 世事难料,论逻辑学的重要性。 |
2021年12月21日 (二) 06:50的版本
灰狐21周年
灰狐21岁,生日快乐!
目录 |
简介
2021,什么也没做成,但网站还能访问。
逻辑学
在一个共和国,由于公民所接受的是理性与说服力而不是暴力的引导,推理的艺术就是最重要的。 ——托马斯-杰弗逊
世事难料,论逻辑学的重要性。
2020
不平凡的 2020
当下,活着就是幸福的,感谢所有朋友们的支持与祝福。
回忆
- 灰狐10周年 2010.12
赞助
企业2022年 赞助灰狐 计划,推广企业自身,也同时帮助Huihoo。
个人赞助,支持灰狐,交个朋友。
图集
分享您的观点