Similar repositories to mir-ikbch/homtrs:

• mir-ikbch/homtrs github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• glittershark/categories github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• SimonBoulier/hott-colimits github similar
• zaklogician/agda-ist-algebra github similar
• ysharoda/Deriving-Definitions github similar
• RobertHarper/pfpl-defns github similar
• RobertHarper/pfpl-syntax github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• agda/guarded github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• UlfNorell/effects github similar
• HuStmpHrrr/agda-categories-1 github similar
• amblafont/UniversalII github similar
• mr-ohman/intuitionistic-normalization github similar
• omega12345/RefactorAgda github similar
• DanGrayson/VV-C-system-from-a-monad github similar
• jespercockx/tensors github similar
• effectfully/proto-tt github similar
• pigworker/InteriorDesign github similar
• jashug/ConstructingII github similar
• UlrikBuchholtz/nominal-hott github similar
• ericrasmussen/rust-exercises github similar
• lukaszcz/infinitary-confluence github similar
• smimram/Mini-TT github similar
• nmvdw/HITs-Examples github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Vierkantor/refinement-parsers github similar
• silvanshade/agda-nr-cats github similar
• AndrasKovacs/universes github similar
• pigworker/Box github similar
• roglo/coq_real github similar