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
velero
md-chip
compose-spec
jira-zephyr
jest-styled-components
northwind
testng-eclipse
ohlc
boost-mpi
ogr
dism
elm327
prototype-programming
microsoft-cpp-unit-test
sqlbindparameter
volumio
raven
ransack
contenttype
mailkit
shared-data
get-cli
rust-rocket
fswatch
coalescing
constructor-inheritance
swift4.2
az
cvxr
jsr310