agentmods.dev

vince-gonzalez/gonzalgo

Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/

Open on GitHub
2Stars on the repository
6Mods indexed here, across every type
9d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

lean-axiom-provenance

01

vince-gonzalez/gonzalgo

Plugin Claude Code

Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.

2 9d ago A tokens not measured original Apache-2.0