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
k8s-cluster-role
listboxitem
deployment
functions-framework
react-native
android-room-embedded
aws-storage-gateway
news-ticker
azure-custom-domain
wkinterfacelabel
column-oriented
styleframe
recurly
task-management
nsattributedstring
animated-webp
smart-pointers
subclass
tmux
jscharts
html.renderpartial
openvino
e57
flashing
multiplexing
idictionary
telerik-ajax
decodeuricomponent
whois
frappe