APA (7th ed.) Citation

Eden, T. (2026). Coherence Debt in Categorical Proof Assistants. Zenodo.

Chicago Style (17th ed.) Citation

Eden, Trenton. Coherence Debt in Categorical Proof Assistants. Zenodo, 2026.

MLA (9th ed.) Citation

Eden, Trenton. Coherence Debt in Categorical Proof Assistants. Zenodo, 2026.

Warning: These citations may not always be 100% accurate.