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
azure-container-registry
createmlui
ios15.2
facebook-sdk-3.0
alfresco-maven
mat-autocomplete
difference-equations
slideup
netcdf4
tel
spl-autoloader
phpcas
rethinkdb-python
gradle-node-plugin
reverse-shell
apple-wallet
set-comprehension
arrayofarrays
apsw
softhsm
geoalchemy2
libtiff.net
sql-server-2017-express
qlineedit
optics-algorithm
sql-order-by
django-errors
schematron
moment-business-days
jquery-ui-datepicker