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
github-enterprise">github-enterprise
ews-javascript-api-auth
applicationmanager
djl
throwable
gnu-toolchain
swfobject
fvm
secretsmanager
audioflinger
double-click-advertising
modelr
skaction
classnotfoundexception
static-members
windows-media-player
uipath
uitapgesturerecognizer
pipx
pushbullet
rpmbuild
shelving
nose-parameterized
flash-ide
metismenu
django-filer
jsviews
httplistener
mpmedialibrary
haskell-platform