Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
分类：开发工具 | 版本：v0.5.2 | 定价：免费
GitHub: https://github.com/zengineco/gonzalgo
加载中...
提交前请确保证据真实充分。平台将在3个工作日内处理。