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, 12699:625–35. 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/.