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
joomla-3.x
compound-query
openvpn
selectpdf
mouse
spacemacs
gcp-alerts
rawsql
angular2-custom-component
jdbi3
tomcat7
trident
android-audio-streams
amazon-cloudhsm
mq-visual-edit
geonear
holoviews
uss
plugin-architecture
wallet-connect
oracle18c
phpxlsxwriter
stream-socket-client
installshield-le
way2sms
nsviewrepresentable
xcode9beta6
ggtree
urlsearchparams
extending