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