Lean certificates accompanying ten proofs in mathematics and theoretical computer science - View it on GitHub