[4] Avigad, De Moura, Kong, Ullrich and Lean community contributors (2024)
Jeremy Avigad, Leonardo De Moura, Soonho Kong, Sebastian Ullrich, and Lean community contributors, 2024. “Theorem Proving in Lean 4”. Last accessed: April 23, 2025.
Jeremy Avigad, Leonardo De Moura, Soonho Kong, Sebastian Ullrich, and Lean community contributors, 2024. “Theorem Proving in Lean 4”. Last accessed: April 23, 2025.