Andri Saar

Results 1 repositories owned by Andri Saar

Type-Theory-Foundations

16
Stars
1
Forks
Watchers

Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.

verified publisher icon andrisaar