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
google-form-quiz
cocos2d-x-4.0
visual-studio-test-runner
python-zip
todo
daap
webpack-module-federation
gcc-pedantic
recommender-systems
botkit-4
range-v3
pdb-files
botdetect
gameplay-kit
google-persistent-disk
numpy-indexing
gojs
symfony-security
grouping
libsndfile
hotmail
spring-cloud-consul
textmate
ias
loan-pattern
mqtt
jstat
crosh
rspec
blazor-state