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
ienumerable
proto3
gulp-sourcemaps
cocor
merkle-tree
spring-data-jpa
visual-composer
gforth
password-checker
measurement-protocol
material-components
imessage-extension
angular-routing
make-shared
awt
pnrp
paypal-nvp
sar
milter
servlet-4
twilio-video
agents.jl
catalyst
network-monitoring
query-string
crystal-reports-2010
wildfly
xhtml2pdf
asset-pipeline
preview-feature