Degenne, R. (2025). Markov kernels in Mathlib's probability library.
Style de citation Chicago (17e éd.)Degenne, Rémy. Markov Kernels in Mathlib's Probability Library. 2025.
Style de citation MLA (9e éd.)Degenne, Rémy. Markov Kernels in Mathlib's Probability Library. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.