Follow
Kexing Ying
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.