MetaBorgCube
Pinned
Repositories
Showing 10 of 88 repositories
-
-
-
- mophasco-artifact Public
- brp-agda-refactoring-mjozwik Public
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
- brp-agda-refactoring-khstruik Public
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
- brp-agda-refactoring-timenzandberge Public
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
- brp-agda-refactoring-jpadillacancio Public
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
- brp-agda-refactoring-jbastenhof Public
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
-