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
oid
go-docx
direct-rendering-manager
chrome-sync
tensorflow-model-garden
master
kaleido
avr
hg-git
githooks
amr
overhead
factory
architectural-patterns
azure-pipelines
xdebug-3
bam
firefox-3
marshalling
requestfiltering
netbeans-platform
installutil
survival-analysis
capl
mdt
foundry-actions
static-site-generation
iboutlet
mosek
rsm