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