I'm still puzzled what the sort Set means in Coq. When do I use Set and when do I use Type? In Hott a Set is defined as a type, where identity proofs are unique
unreachable-statement
operationqueue
saml-2.0
bats-core
uiview
multiple-mice
jqbootstrapvalidation
pixmap
hit-highlighting
pojo
datacontract
master-data-management
unmodifiable
caching
referential-integrity
code-organization
aws-iot-sitewise
text-alignment
selectpdf
currency-exchange-rates
mod-expires
dropbox
rrule
ng-zorro-antd
targets-r-package
array-unique
alloca
alice-fixtures
reification
dotnet-build