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