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
renjin
mongoengine
polyhedra
cloveretl
appbundler
openweathermap
allegro
ninject
ptv-vissim
dets
scanning
iterative-deepening
sql-server-mars
custom-action-filter
cson
azure-webjobssdk
tee
intellicode
javax.persistence
sqlfluff
signalr-2
exim4
luajava
snowplow
browser-console
zfit
openthread
timed
material-design
window-server