gonzalgo

io.github.vince-gonzalez/gonzalgo · v0.5.6

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

Reachability not yet probed

Registry status active

Repo last push 2026-09-11

GitHub stars 2

Provenance

Registry namespace io.github.vince-gonzalez (GitHub-account verified by the official registry)

Repository github.com/vince-gonzalez/gonzalgo

Website https://f-keys.com/gonzalgo/

Get alerted when this changes. Email the moment io.github.vince-gonzalez/gonzalgo drifts, dies, or revives.

[![Toolpin](https://toolpin.dev/badge/io.github.vince-gonzalez/gonzalgo.svg)](https://toolpin.dev/servers/io.github.vince-gonzalez/gonzalgo)

Maintain this server? Add the badge to your README. It links your users to this live status page.