A

agda_course_project

Project information

Project for the type theory course held at the University of Padua. This project implements an implementation and proof for the merge sort algorithm

Agda Proof Assistant

27 Commits
2 Branches
0 Tags

README

Created on

May 23, 2024

Loading