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
google-gears
nuvoton
com-object
recorder
cassandra-4.0
get-filehash
solr
coding-style
columnheader
form-helpers
s-expression
xslt-1.0
impactjs
android-authenticator
gentoo
gtkoverlay
touchesended
datetimepicker
fxyz3d
stripe-sca
.net-core-5-preview-2
dompdf
jtoolbar
fest-assert
cldr
matplotlib-widget
universal-analytics
service-name
rails-generate
spreadsheet