一个整洁的小列表,包含"~前100个定理"及其在各种语言中的形式化(每个定理都有链接),仍然是最新的
链接:
164