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
layout-animation
jenkins-job-dsl
cusolver
xmlroot
serial-monitor
discrete
lsm-tree
aws-roles
connected-services
django-2.2
phosphor
visual-studio-lightswitch
pairplot
invalidargumentexception
jira-plugin
fat32
seleniumwire
notficationserviceextension
powershell
mutt
navigatetourl
aws-elemental
reactive-mongo-java
pdi
gossip
wiki.js
nextjs-rewrites
rootfs
skfuzzy
spree