Similar repositories to dboulytchev/miniKanren-coq:

• dboulytchev/miniKanren-coq github similar
• danistefanovic/build-your-own-x github similar
• ayberkt/simplc github similar
• Lysxia/coq-simple-io github similar
• ankitku/TAL0 github similar
• lastland/ClairvoyanceMonad github similar
• JoeyEremondi/lambda-pi-constraint github similar
• gmalecha/coq-printf github similar
• proofengineering/proofengineering-bib github similar
• math-comp/tutorial_material github similar
• RobertHarper/hott-notes github similar
• coq-community/atbr github similar
• matthesjh/coq-tal github similar
• FreeProving/free-proving-code github similar
• coq-contribs/finger-tree github similar
• LightAndLight/certified-lc github similar
• kwf/Presburger github similar
• hecrj/iced github similar
• Lysxia/coq-recursion-schemes github similar
• tootsuite/mastodon github similar
• michaelsproul/dblib-linear github similar
• uds-psl/autosubst-ocaml github similar
• prathyvsh/history-of-lambda-calculus github similar
• nikivazou/proof-combinators github similar
• gallais/typing-with-leftovers github similar
• LightAndLight/parametricity-proofs github similar
• LightAndLight/idris-but-its-c github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• effectfully/STLC github similar
• Zekt/Type-Embellishment github similar
• CertiGraph/CertiGraph github similar
• minkiminki/Ordinal github similar
• vlopezj/coq-course github similar
• hablapps/LensAlgebra github similar
• jdublu10/STLC-to-SKI github similar
• palmskog/coq-program-verification-template github similar
• metaborg/linear.agda github similar
• sabauma/agda-relation-algebra github similar
• andreasabel/ipl github similar
• joom/proof-tree-builder github similar