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-k2
vnet
winapi
capnproto
admin-bro
pitch-detection
python-spur
laravel-envoy
umijs
swiperefreshlayout
virtual-table
nokia-s40
itunes-store
dalvik
segment
format-conversion
firefox-sync
jogetworkflow
dtexec
firebird
globalplatform
dbpedia
libtorrent
two.js
object-construction
strophe
pcre2
java-16
web-manifest
rmq