Technology
isabelle proof assistant
1 organization using isabelle proof assistant with 117 total projects
Organizations
1
Total Projects
117
Avg/Org
117
Years Active
2017 - 2026
isabelle proof assistant Analytics
Organization Adoption Over Years
Number of GSoC organizations using isabelle proof assistant
Projects by Year
Total projects using isabelle proof assistant each year
GSoC Organizations Using isabelle proof assistant
Sort:
