Clip

老王

类别: Textbook Clip 标签: Literature

2025/12/03 1839 字 4 分钟

曾经的中学课文

怎样提问

类别: Clip

2025/11/30 10152 字 21 分钟

在程序员世界如何提问。但在其他领域也适用

愤怒的美国穷人，把明星送上“断头台”

类别: Clip

2025/10/25 8360 字 17 分钟

法国高考哲学作文汇总

类别: Clip 系列: BAC

2025/07/19 15363 字 31 分钟

合并自历年法国高考哲学作文相关文档，按年份与小节整理。

单一基础的源起——为避免数学错误而发展计算机验证证明的个人使命

类别: Clip 标签: Math

5008 字 10 分钟

Voevodsky 关于形式化证明的自述。复制自公众号文章