A Zoo of Probabilistic Systems by Johannes Hölzl 🌐, Andreas Lochbihler 🌐 and Dmitriy Traytel 🌐 May 27
A Verified Compiler for Probability Density Functions by Manuel Eberl 🌐, Johannes Hölzl 🌐 and Tobias Nipkow 🌐 Oct 09