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
compass
email-bounces
mariadb4j
mlab
youtube-iframe-api
zipcoder
formsauthenticationticket
teamcity-rest-api
azure-service-hooks
forgerock
grapesjs
uipickerview
elementwise-operations
evaporate.js
ussd
plsqldeveloper
imdf
viewmodelfactory
rawstring
offsetwidth
ops4j
alternate-data-stream
tabstop
facebook-access-token
fogbugz
queryselector
optapy
guice-persist
bitbucket
cgpdfdocumentref