Spivack, N. (2026). Lean Aps Recursion Uniformization (Lean formalization). Zenodo.
Chicago Style (17th ed.) CitationSpivack, Nova. Lean Aps Recursion Uniformization (Lean Formalization). Zenodo, 2026.
ציטוט MLASpivack, Nova. Lean Aps Recursion Uniformization (Lean Formalization). Zenodo, 2026.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.