1. Learning Logic and Proof with an Interactive Theorem Prover
2. Avigad, J., de Moura, L. & Kong, S. (2021). Theorem proving in Lean (Release 3.23.0). https://leanprover.github.io/theorem_proving_in_lean/index.html
3. Avigad, J., Lewis, R. Y. & van Doorn, F. (2021). Logic and proof (Release 3.18.4). https://leanprover.github.io/logic_and_proof/logic_and_proof.pdf
4. Baanen, A., Bentkamp, A., Blanchette, J., Hölzl, J. & Limperg, J. (2021). The Hitchhiker’s guide to logical verification. https://raw.githubusercontent.com/blanchette/logical_verification_2021/main/hitchhikers_guide.pdf
5. Proving Theorems with Computers