Similar repositories to UniMath/SetHITs:

• UniMath/SetHITs github similar
• 5HT/agda-nr-cats github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/lecture-notes github similar
• nmvdw/groupoids github similar
• tomdjong/domain-theory-in-uf github similar
• jonsterling/coq-meaning-explanation github similar
• blockstack/stacks github similar
• robinp/align github similar
• heliaxdev/witch github similar
• myuon/quartz github similar
• emilypi/julip github similar
• jespercockx/tensors github similar
• tootsuite/mastodon github similar
• EgbertRijke/CategoryTheory_Course github similar
• oragono/oragono github similar
• konn/iapplicative-builder github similar
• AkihiroSuda/lima github similar
• nmvdw/HITs-Examples github similar
• UlrikBuchholtz/nominal-hott github similar
• lukaszcz/infinitary-confluence github similar
• silvanshade/cool-tt github similar
• glittershark/categories github similar
• pigworker/Box github similar
• jonsterling/coq-algebra-experiments github similar
• gvolpe/split-morphism github similar
• GaloisInc/abide github similar
• SimonBoulier/hott-colimits github similar
• losfair/violet-cosim github similar
• fmlab-iis/coq-nbits github similar
• carlosedp/scalautils github similar
• MrChico/Reals-in-agda github similar
• uds-psl/fol-completeness-theorems github similar
• zaklogician/agda-ist-algebra github similar
• emtst/emtst-proof github similar
• ayberkt/simplc github similar
• yforster/coqtheorem github similar
• bhaaksema/rug-picalc-redux github similar
• FreeProving/language-coq github similar
• laMudri/quantitative github similar