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.
