References🔗

1. [1] Trinh, Wu, Le, He and Luong (2024)
2. [2] Geuvers (2009)
3. [3] Buzzard (2024)
4. [4] Avigad, De Moura, Kong, Ullrich and Lean community contributors (2024)
5. [5] Lean Prover Community
6. [6] Bailey and Lean community contributors (2024)
7. [7] Avigad, De Moura and Kong (2021)
8. [8] Sørensen and Urzyczyn (2006)
9. [9] Coquand and Huet (1986)
10. [10] Pierce (2002)
11. [11] Carneiro (2019)
12. [12] Carneiro (2024)
13. [13] Lean Prover Community (2023)
14. [14] Morph (2023)
15. [15] Gao, Ju, Jiang, Qin and Dong (2024)
16. [16] Willard (2012)
17. [17] Lean Prover Community (2023)