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
spring-session
basler
email-bounces
window-managers
partial
parent-child
uidocumentinteraction
sknode
numbered-list
printers
ssrs-tablix
pkcs#7
p4python
gcc8
handlebarshelper
pageobjects
arcgis-runtime-net
metafile
probabilistic-ds
google-indoor-maps
scitools-understand
radar-chart
discount
easy-modbus
time-travel
jquery-1.4
antlr
slick
panel-data
string-table