quotient-types topic

List quotient-types repositories

quotient

22
Stars
0
Forks
Watchers

quotient types in cubical Agda

verified publisher icon kcsmnt0