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
autocomplete
set-intersection
programmatically
convex-optimization
z-notation
parrot
fileprovider
nsnotificationcenter
rxfire
openmq
servicemonitor
pandas-resample
context-sensitive-grammar
timeit
java-pair-rdd
vim-syntax-highlighting
python-napari
invalidargumentexception
dynamics-nav-2015
cadisplaylink
limiting
halting-problem
activity-transition
calloc
clam
ef-core-2.1
image-cropper
themedata
io-uring
stable-sort