Similar repositories to konn/category-agda:

• konn/category-agda github similar
• konn/Quasi-Quote-Examples github similar
• konn/oauth-test github similar
• shinji-kono/zf-in-agda github similar
• krtx/agda-handson github similar
• UlrikBuchholtz/nominal-hott github similar
• notogawa/agda-haskell-example github similar
• mathink/Cat_on_Coq github similar
• CHTT-s18/lecture-notes github similar
• coq-contribs/zfc github similar
• suharahiromichi/coq github similar
• janestreet/lwt-async github similar
• gbaz/mess github similar
• kcsmnt0/quotient github similar
• RobertHarper/hott-notes github similar
• YellPika/effin github similar
• toothbrush/reflection-proofs github similar
• pcapriotti/agda-categories github similar
• mortberg/gen-cart github similar
• coq-community/reglang github similar
• coq-community/topology github similar
• vrahli/NuprlInCoq github similar
• dschepler/coq-sequent-calculus github similar
• qnighy/logic-solver-rs github similar
• fredefox/cat github similar
• awodey/CatLogNotes github similar
• jldodds/coq-lean-cheatsheet github similar
• affeldt-aist/monae github similar
• sstucki/system-f-agda github similar
• sweirich/corespec github similar
• gebner/hott3 github similar
• myuon/ghc-compiler-notes github similar
• pi8027/lambda-calculus github similar
• martinescardo/TypeTopology github similar
• dlicata335/hott-agda github similar
• DeepSpec/dsss17 github similar
• ilyasergey/pnp github similar
• mfp/ocaml-sqlexpr github similar
• konn/computational-algebra github similar
• TheoWinterhalter/formal-type-theory github similar