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
scntechnique
react-native-0.46
golang-migrate
uiappearance
cloudinary
survival-analysis
bpython
mediastream
dispatch
ubiquity
scntext
validation
aac
imageicon
robot
stone-webviewer
vk-sdk
notarization
package-name
wsaasyncselect
rollbar
dropbear
monomorphism-restriction
reactive-feign-client
pre-authentication
raty
textout
maven-repository
curry-howard
digital-assets-links