Spivack, N. (2026). Lean Representational Incompleteness (Lean formalization). Zenodo.
Chicago Style (17th ed.) CitationSpivack, Nova. Lean Representational Incompleteness (Lean Formalization). Zenodo, 2026.
MLA (9th ed.) CitationSpivack, Nova. Lean Representational Incompleteness (Lean Formalization). Zenodo, 2026.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.