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
django-compressor
posixlt
requestjs
act-as-taggable-on
memory-warning
xssf
imbalanced-data
fgets
django-viewflow
fullstory
exponential-distribution
geom-tile
signalwire
isocpp
ziparchive
secure-random
options
transport-stream
yii2-active-records
ngrx-effects
hessian-matrix
wcftestclient
bull-queue
acoustics
context-free-language
thephpleague
glade
find-occurrences
jobexecutiondecider
elastic-enterprise-search