| Verified Textbook Algorithms - A Biased Survey. | 0 | 0.34 | 2020 |
| Skip Lists. | 0 | 0.34 | 2020 |
| Verified Analysis of Random Binary Tree Structures | 0 | 0.34 | 2020 |
| Elementary Facts About the Distribution of Primes. | 0 | 0.34 | 2019 |
| Verified solving and asymptotics of linear recurrences. | 0 | 0.34 | 2019 |
| The Inversions of a List. | 0 | 0.34 | 2019 |
| Probabilistic Primality Testing. | 0 | 0.34 | 2019 |
| Verified Real Asymptotics in Isabelle/HOL | 0 | 0.34 | 2019 |
| Pell's Equation. | 0 | 0.34 | 2018 |
| Treaps. | 0 | 0.34 | 2018 |
| The Prime Number Theorem. | 0 | 0.34 | 2018 |
| The Error Function. | 0 | 0.34 | 2018 |
| The Transcendence of π. | 0 | 0.34 | 2018 |
| The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency. | 0 | 0.34 | 2018 |
| Randomised Binary Search Trees. | 0 | 0.34 | 2018 |
| Symmetric Polynomials. | 0 | 0.34 | 2018 |
| Linear Recurrences. | 0 | 0.34 | 2017 |
| Expected Shape of Random Binary Search Trees. | 0 | 0.34 | 2017 |
| The number of comparisons in QuickSort. | 0 | 0.34 | 2017 |
| Minkowski's Theorem. | 0 | 0.34 | 2017 |
| The Mason-Stother's Theorem. | 0 | 0.34 | 2017 |
| Buffon's Needle Problem. | 0 | 0.34 | 2017 |
| Dirichlet L-Functions and Dirichlet's Theorem. | 0 | 0.34 | 2017 |
| Monad normalisation. | 0 | 0.34 | 2017 |
| The Euler-MacLaurin Formula. | 0 | 0.34 | 2017 |
| The Hurwitz and Riemann ζ Functions. | 0 | 0.34 | 2017 |
| The Median-of-Medians Selection Algorithm. | 1 | 0.37 | 2017 |
| Lower bound on comparison-based sorting algorithms. | 0 | 0.34 | 2017 |
| The Transcendence of e. | 0 | 0.34 | 2017 |
| Proving Divide and Conquer Complexities in Isabelle/HOL. | 4 | 0.49 | 2017 |
| Dirichlet Series. | 0 | 0.34 | 2017 |
| The Incompatibility of SD-Efficiency and SD-Strategy-Proofness. | 0 | 0.34 | 2016 |
| Randomised Social Choice Theory. | 1 | 0.37 | 2016 |
| The Divergence of the Prime Harmonic Series. | 0 | 0.34 | 2015 |
| Basic Geometric Properties of Triangles. | 0 | 0.34 | 2015 |
| The Akra-Bazzi theorem and the Master theorem. | 1 | 0.38 | 2015 |
| Descartes' Rule of Signs. | 0 | 0.34 | 2015 |
| A Verified Compiler for Probability Density Functions. | 4 | 0.51 | 2014 |
