gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
0.5.6version the registry lists (1 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.vince-gonzalez/gonzalgo
· Source code · Website
Reported issues
None found in OSV or the NVD CVE list. Checked 12 hours ago.
Versions in the registry
0.5.6 (listed)