Andrea Vezzosi

Results 2 repositories owned by Andrea Vezzosi

cubical-demo

45
Stars
12
Forks
Watchers

verified publisher icon Saizan

miller

62
Stars
1
Forks
Watchers

Miller/pattern unification in Agda

verified publisher icon Saizan