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
usersnap
plexe
angularfire2
http-chunked
imu
doppler
httpresponse
pyscript
imagepicker
get-aduser
android-fragment-manager
coinbase-php
rctbridge
sprockets
availability-zone
node-orm2
speaker
exist-db
edit-in-place
ignite-ui-angular
maven-dependency-plugin
grails-orm
nskeyedunarchiver
openrewrite
oso
babeljs
relevance
blackberry-webworks
luacom
jython-2.7