Artamonov, K. (2025). Lean как язык формализации многоуровневых рассуждений. Zenodo.
Chicago Style (17th ed.) CitationArtamonov, Kim. Lean как язык формализации многоуровневых рассуждений. Zenodo, 2025.
MLA citiranjeArtamonov, Kim. Lean как язык формализации многоуровневых рассуждений. Zenodo, 2025.
Opozorilo: Ti citati niso vedno 100% točni.