| logical_verification_2020 | Lean | 97 | 29 |
| logical_verification_2023 | Lean | 57 | 52 |
| logical_verification_2021 | Lean | 25 | 111 |
| logical_verification_2022 | Lean | 17 | 150 |
| interactive_theorem_proving_2024 | Lean | 15 | 162 |
| logical_verification_2019 | Lean | 12 | 200 |
| CodataDP | unknown | 0 | - |
| blanchette.github.io | unknown | 0 | - |