Similar repositories to favonia/cbpv:

• favonia/cbpv github similar
• danistefanovic/build-your-own-x github similar
• benkavanagh/ccoq-explicit-sn github similar
• effectfully/random-stuff github similar
• forked-from-1kasper/anders github similar
• jonsterling/agda-synthetic-domain-theory github similar
• sellout/Idris-CPDT github similar
• gallais/agdarky github similar
• coq-community/coqtail-math github similar
• flavioc/cl-meld github similar
• TomasMikula/Principled github similar
• Beluga-lang/Meta github similar
• ualib/ualib.github.io github similar
• jespercockx/agda2scheme github similar
• andreasabel/strong-normalization github similar
• kcsmnt0/quotient github similar
• RobertHarper/hott-notes github similar
• FrozenWinters/stlc github similar
• toothbrush/reflection-proofs github similar
• gallais/agda-presburger github similar
• sweirich/lennart-lambda github similar
• RedPRL/algaeff github similar
• andrejbauer/social-distancing-simulator github similar
• L-TChen/MtacAR github similar
• coq/ltac2 github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• Guest0x0/normalization-bench github similar
• Saizan/miller github similar
• oisdk/agda-ring-solver github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• jsiek/B522-PL-Foundations github similar
• david-christiansen/epigram1 github similar
• lthms/FreeSpec github similar
• AndrasKovacs/system-f-omega github similar
• clf/celf github similar
• mietek/totally-fp github similar
• isovector/cornelis github similar
• sstucki/system-f-agda github similar
• gallais/generic-syntax github similar