DMTL4: Discrete Mathematics and Theory in Lean 4 - View it on GitHub