[6] Bailey and Lean community contributors (2024)🔗

Christopher A. Bailey and Lean community contributors, 2024. “Type Checking in Lean 4”. Last accessed: April 23, 2025.