gonzalgo
io.github.vince-gonzalez/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 week ago — static analysis of the published manifest.
- lowManifest makes network requests.