Spivack, N. (2026). Lean Reflexive Closure (Lean formalization). Zenodo.
Style de citation Chicago (17e éd.)Spivack, Nova. Lean Reflexive Closure (Lean Formalization). Zenodo, 2026.
Style de citation MLA (9e éd.)Spivack, Nova. Lean Reflexive Closure (Lean Formalization). Zenodo, 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.