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
launching
mpic++
gcrypt
nullsafe
0kb
mongoose-plugins
celltemplate
vdso
cwrsync
swing
spokestack
enterprise-library-5
google-chrome-devtools
kentico
numba
peer-connection
gremlinnet
job-queue
bolero
odroid
bosch-iot
pact-node
swift-keypath
contourf
go-cmp
qtablewidgetitem
image-viewer
security-framework
air
kudu