Similar repositories to shinji-kono/zf-in-agda:

• shinji-kono/zf-in-agda github similar
• krtx/agda-handson github similar
• wjzz/Agda-Representing-Monads github similar
• konn/category-agda github similar
• suharahiromichi/coq github similar
• sstucki/pts-agda github similar
• gallais/agda-presburger github similar
• kino3/Mini-TT github similar
• GrammaticalFramework/gf-rgl github similar
• jsiek/gradual-typing-in-agda github similar
• GrammaticalFramework/gf-core github similar
• sstucki/system-f-agda github similar
• myuon/ghc-compiler-notes github similar
• gebner/hott3 github similar
• flypitch/flypitch github similar
• CertiCoq/certicoq github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• jwiegley/coq-haskell github similar
• ditto/ditto github similar
• david-christiansen/pie-hs github similar
• RedPRL/redtt github similar
• EgbertRijke/HoTT-Intro github similar
• rossberg/1ml github similar
• HoTT/HoTT-Agda github similar
• agda/agda-categories github similar
• UniMath/SymmetryBook github similar
• cedille/cedille github similar
• AndrasKovacs/smalltt github similar
• sweirich/pi-forall github similar
• michaelt/martin-lof github similar
• racket/typed-racket github similar
• agda/agda-stdlib github similar
• z0w0/helm github similar
• JetBrains/Arend github similar
• kowainik/relude github similar
• matijapretnar/eff github similar
• egison/egison github similar
• HoTT/HoTT github similar
• jozefg/learn-tt github similar
• leanprover-community/mathlib github similar