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
balana
didreceiveremotenotification
swxmlhash
modulenotfounderror
node-native-addon
picocss
email-publisher
app-engine-flexible
samba
mainactor
phpjs
printer-control-language
user-defined-data-types
lettuce
boost-exception
mesa
basic4android
zero-width-space
document-store
symfony-4.4
msr
android-auto
cabal-install
mobile-data
gil
constraints
go-get
c++builder-2006
python-magic
in-house-distribution