Spivack, N. (2026). Lean Observer Non Exhaustability (Lean formalization). Zenodo.
Citace podle Chicago (17th ed.)Spivack, Nova. Lean Observer Non Exhaustability (Lean Formalization). Zenodo, 2026.
Citace podle MLA (9th ed.)Spivack, Nova. Lean Observer Non Exhaustability (Lean Formalization). Zenodo, 2026.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..