Suivre
Kexing Ying
Titre
Citée par
Citée par
Année
A Formalization of Doob’s Martingale Convergence Theorems in mathlib
K Ying, R Degenne
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
12023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.