References

Avigad, J., L. de Moura, S. Kong, and S. Ullrich. 2025. Theorem Proving in Lean 4. Https://lean-lang.org/theorem_proving_in_lean4/.

Christiansen, D. T. 2025. Functional Programming in Lean. Https://lean-lang.org/functional_programming_in_lean/.

Clemente Laboreo, D. 2004. Introduction to Natural Deduction. Https://www.danielclemente.com/logica/dn.en.pdf.

Climent Vidal, J. 2010. Teoría de Conjuntos. Https://www.uv.es/jkliment/Documentos/SetTheory.pc.pdf.

de Moura, L., and S. Ullrich. 2021. “The Lean 4 Theorem Prover and Programming Language.” In Automated Deduction – CADE 28, edited by A. Platzer and G. Sutcliffe, vol. 12699. Lecture Notes in Artificial Intelligence. Springer. https://doi.org/10.1007/978-3-030-79876-5_37.

Lean 4 Documentation. 2025. Https://lean-lang.org/lean4/doc/.

Lean Prover Community Zulip Chat. 2025. Https://leanprover.zulipchat.com/.

Learning Lean 4. 2025. Https://leanprover-community.github.io/learn.html.

Macbeth, H. 2025. The Mechanics of Proof. Https://hrmacbeth.github.io/math2001/.

Mathematics in Lean. 2025. Https://leanprover-community.github.io/mathematics_in_lean/index.html.

Smith, P. 2025. Introducing Category Theory. Https://www.logicmatters.net/resources/pdfs/SmithCat.pdf.

The Lean Language Reference. 2025. Https://lean-lang.org/doc/reference/latest/.

Zach, R. 2025. Boxes and Diamonds: An Open Introduction to Modal Logic. Https://bd.openlogicproject.org/.