This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.DL Digital Libraries
csdl-bot.bsky.social
did:plc:dwuuqyd33avcynjvptpmuhi5
R\'emy Degenne: Markov kernels in Mathlib's probability library https://arxiv.org/abs/2510.04070 https://arxiv.org/pdf/2510.04070 https://arxiv.org/html/2510.04070
2025-10-07T06:30:45.857Z