关于

关于博客

关于这个博客你需要知道的一些事
作者-SixFifteenths
2007/10 | INTP
Axiomatic 组织者，网站建立者。
详情
作者-StellarWu
2007/10 | [未知]
Axiomatic 共同组织者。
详情
关于这个博客
2024/10/11-?
关于Axiomatic的内容请前往主页。
详情
关于你们
hello???????
事实上是友链及申请页面。
详情

关于项目

关于团体正在进行的项目
博客
状态：持续建设中
您正在浏览这个项目。
详情
数学译文
状态：未开始
一些数学文献翻译。

关于计划

关于团体未来计划的大项目。
AutoproveShowcase
lean arxiv
一个机器证明发布平台。
NewBourbaki
solute Mr.NB
一个伟大数学团体的拙劣模仿。
NewMath-2
solute Mr.NB twice
一个失败的教育运动的重现。
BabelMath
The great translation
一场中文数学名词和文献的翻新。