Barrett, C., Chaudhuri, S., Montesi, F., Grundy, J., Kohli, P., de Moura, L., . . . Yingchareonthawornchai, S. (2026). CSLib: The Lean Computer Science Library.
Style de citation Chicago (17e éd.)Barrett, Clark, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, et Sorrachai Yingchareonthawornchai. CSLib: The Lean Computer Science Library. 2026.
Style de citation MLA (9e éd.)Barrett, Clark, et al. CSLib: The Lean Computer Science Library. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.