AutoCorres2 by Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer Apr 17
A Verified Compiler for Probability Density Functions by Manuel Eberl, Johannes Hölzl and Tobias Nipkow Oct 09