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
sqlcl
android-wrap-content
shapeless
wrl
latex-suite
sql-update
string-math
spring-cloud-bus
get-or-create-and-get
iseries-navigator
alibaba-cloud-direct-mail
unaccent
icalendar
usernotifications
kalman-filter
apkanalyzer
pragma
uicollectionviewdelegateflowlayout
google-diff-match-patch
adjustpan
pchart
simultaneous-calls
votive
saaskit
tuareg
paystack
ld
reactive
boost-exception
innovation