io.github.vince-gonzalez/gonzalgo

gonzalgo

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

0.5.6
Version
pypi
Transport
—
Tools

Security review

Review passed

Reviewed 1d ago.

  • metadata: scanned
  • packages: 1 checked

No findings.