📦
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
0 installs
Trust: 37 — Low
Science
Ask AI about gonzalgo
Powered by Claude · Grounded in docs
I know everything about gonzalgo. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available