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
decorator
chrome-extension-manifest-v3
selenium-edgedriver
graphql-tag
hpc
exception
gdi+
color-codes
server-push
php-5.5
tcolor
tycho
angular-router-events
jzy3d
pylons
certificate
arch
flutterdriver
ready-api
android-app-bundle
data-wrangling
mathematical-statistics
job-batching
runc
junit5
table-valued-parameters
htmlcollection
libpfm4
double-precision
anchorpoint