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