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
aws-site-to-site
windows-forms-designer
css-content
dynamic-pages
winbugs
crypto++
flutter-release
jakarta-mvc
runc
android-reactivelocation
esprima-python
scribd
angular2-aot
quasar-framework
swagger-3.0
undocumented-behavior
open-source
dynamic365
udf
ckfinder3
cilium
phobos
tray
dmenu
gitversion
double-click-advertising
uncaughtexceptionhandler
user-tracking
undetected-chromedriver
parameterized