gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Install
Runnable packages
No supported package or remote endpoint is listed in the current Registry record.
What it can do
Tool inventory
No publishable tool enumeration has been recorded.
Community
Evidence
Recent observations
This server has Registry metadata but no public verification run yet.