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
windows-networking
chaquopy
shields.io
atest
xmlslurper
infobox
iisnode
webhid
bookshelf.js
superpowered
python-chess
gather
upperbound
maildir
ipad-playgrounds
graphql-tag
pyserial
multicollinearity
text-indent
uisearchresultscontroller
gijgo-treeview
turbo-frames
data-collection
letters-and-numbers
byte-code-enhancement
subtitle
symphony-cms
sunone
braintree-sandbox
aws-alb