Pinned Repositories
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
locallycompactCT's Repositories
locallycompactCT/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Dependent sums and supporting typeclasses for comparing and displaying them
Dependent sums and supporting typeclasses for comparing and displaying them