gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.zengineco/gonzalgo |
| 版本 | 0.5.2 |
| 分類 | 開發工具 |
| 遠端網址 | — |
| 安裝套件 | pypi：gonzalgo（stdio） |
| 原始碼 | https://github.com/zengineco/gonzalgo |
| 網站 | https://f-keys.com/gonzalgo/ |
| 最後更新 | 2026-09-11T06:02:40.154135Z |