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
word2vec
flutter-video-player
notistack
cancan
object-property
flux.jl
angular-cli
avaudioengine
twilioflexwebchat
chakracore
.net-assembly
spring
recordtype
haversine
arduino-ide
dailybuilds
group-policy
downloadfileasync
libvpx-go
lmplot
neovis
database-concurrency
node-pre-gyp
range-partitions
google-forms-api
remote-assistance
magic-draw
cypress-test-retries
pywinusb
friend-function