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
cdo.message
subobject
cssnext
onblur
google-sheets-macros
artifactory-query-lang
temenos-quantum
unsafe-pointers
word-template
mdi
bootstrap-dialog
bunit
quarkus-grpc
amazon-kcl
laravel-4
waffle-chart
cakeemail
fusionpbx
rabbitmq-c
sympy
aws-iot-core
kosaraju-algorithm
itext
nan
consul
grouped-list
geom-point
amazon-personalize
docker-cp
tinybutstrong