T

type_theory_exercises

Project information

Exercises for the Type theory course held at the University of Padua for the master degree in Computer Science

Agda Proof Assistant

24 Commits
1 Branch
0 Tags

README

Created on

May 03, 2024

Loading