Organizations listing Isabelle Proof Assistant
Per cycle
View as table
| Organizations | |
|---|---|
| 2016 | 0 |
| 2017 | 1 |
| 2018 | 1 |
| 2019 | 1 |
| 2020 | 1 |
| 2021 | 1 |
| 2022 | 1 |
| 2023 | 1 |
| 2024 | 1 |
| 2025 | 1 |
| 2026 | 1 |
TECHNOLOGY
Isabelle Proof Assistant
1 organization list Isabelle Proof Assistant. Together they took 117 accepted projects from 2017 to 2026.
In GSoC 2026
1
of 1 organizations
Contributors in 2026
22
1.9% of all slots
Projects since 2016
117
117 per organization
First listed
2017
Latest 2026
Organizations
1
All cycles
Accepted projects at those organizations
Per cycle
View as table
| Projects | |
|---|---|
| 2016 | 0 |
| 2017 | 13 |
| 2018 | 13 |
| 2019 | 18 |
| 2020 | 9 |
| 2021 | 11 |
| 2022 | 8 |
| 2023 | 6 |
| 2024 | 18 |
| 2025 | 21 |
| 2026 | 22 |
| Organization | Stack | 2026 | 2016–26 | Cycles | Projects | Save |
|---|---|---|---|---|---|---|
| 22 | 10/11 | 139 |
Organizations count toward every technology they list. Official GSoC archive