Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
io.github.zengineco
mcp
free
No tags.
No capabilities listed.
Others in the same category, ranked by how often they are opened.
