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
stdcall
cran
adblock
greenhills
game-center
html5-audio
qtooltip
dronekit-android
relaunch
kconfig
firefox-3
member-access-enumeration
matroska
canjs-control
executable
devkitpro
8-bit
boost-bind
azure-ad-verifiable-credentials
azureservicebus
f#-fake
azure-application-insights
listof
react-testing-library
http-error
ember-1
jawsdb-maria
taskcompletionsource
timedelta
event-log