GitHub topics: quotient-types
marek-bauer/Quotientlike-types-in-Coq
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
Language: Coq - Size: 4.96 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kcsmnt0/quotient
quotient types in cubical Agda
Language: Agda - Size: 8.79 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 0

gergoerdi/quot-structures
Lift algebraic structures from setoids to quotient sets
Size: 85.9 KB - Last synced at: 3 months ago - Pushed at: about 13 years ago - Stars: 0 - Forks: 0
