在Hilbert的程序的传统，我们创建一个正式的正确（可由校对验证器检查），但可读（如普通LaTeX教科书）的数学知识库，这是在互联网上免费访问的。逻辑和集理论开始了。
版本历史记录
- 版本 0.04.02 发布于 2011-05-01
- 版本 0.04.11 发布于 2011-03-05
若干修复和更新
软件信息
- 软件分类： 教育 > 其他
- 发布者： www.qedeq.org
- 许可： 免费
- 价格： N/A
- 版本： 0.04.02
- 适用平台： linux
在Hilbert的程序的传统，我们创建一个正式的正确（可由校对验证器检查），但可读（如普通LaTeX教科书）的数学知识库，这是在互联网上免费访问的。逻辑和集理论开始了。