Similar repositories to erikhpalmgren/LCC_setoids_in_Coq:

• erikhpalmgren/LCC_setoids_in_Coq github similar
• gibiansky/IHaskell github similar
• googleworkspace/drivetex github similar
• OpenLogicProject/forallx github similar
• vladimirias/Foundations github similar
• leanprover-community/lean-perfectoid-spaces github similar
• mattam82/Coq-Equations github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• LMFDB/lmfdb github similar
• UniMath/Foundations github similar
• HIPS/Kayak github similar
• hijonathan/google-scripts github similar
• HoTT/HoTT-Agda github similar
• ipld/specs github similar
• stacks/stacks-project github similar
• UniMath/UniMath github similar
• pydata/patsy github similar
• HoTT/HoTT github similar
• WardCunningham/Smallest-Federated-Wiki github similar
• leanprover-community/mathlib github similar
• yi-editor/yi github similar
• tensorflow/haskell github similar
• jiffyclub/snakeviz github similar
• HoTT/book github similar
• astooke/rlpyt github similar
• dmlc/gluon-nlp github similar
• coq/coq github similar
• lihaoyi/macropy github similar
• airbnb/polyglot.js github similar
• googleworkspace/apps-script-samples github similar
• FluxML/Flux.jl github similar
• googleapis/google-cloud-python github similar
• octobox/octobox github similar
• rstudio/cheatsheets github similar
• rapidsai/cudf github similar
• tpn/pdfs github similar
• dusty-nv/jetson-inference github similar
• cupy/cupy github similar
• norvig/paip-lisp github similar
• google/closure-compiler github similar