Things you read. Every claim carries a DOI.
| Name | Type | Status | Description |
|---|---|---|---|
| 📄gonzalgo | Research tool | Published | Which axioms a Lean 4 or Metamath theorem spends rather than inherits. |
| 📄Papers | Publications | Published | Where formal libraries spend their axioms. Full text, DOIs, archives. |
| 📄Modulign | Standard | Published | A dimensional address grammar for observable reality. DAG-OR v3. |