gonzalgo
io.github.zengineco/gonzalgo
95
security score
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Security scan
Last scanned 2 weeks ago — static analysis of the published manifest.
- lowManifest makes network requests.