Similar repositories to meta-logic/coq-ll:

• meta-logic/coq-ll github similar
• danistefanovic/build-your-own-x github similar
• trommler/VeriGHC github similar
• Lapin0t/induction-recursion github similar
• wilbowma/infernalize github similar
• groupoid/anders github similar
• ayberkt/Mini-TT github similar
• fsestini/tt-in-cubical github similar
• ericrasmussen/rust-exercises github similar
• tootsuite/mastodon github similar
• smimram/catt github similar
• mikeshulman/ohtt github similar
• kosmikus/hkd-sop github similar
• jonsterling/lecture-notes github similar
• superfly/litefs github similar
• trufflesuite/ganache-cli github similar
• zalando/connexion github similar
• gregsramblings/google-cloud-4-words github similar
• DmxLarchey/ite-normalisation github similar
• JakobeBussey/StoneSpaces1130 github similar
• nhyne/zio-bazel github similar
• konn/vscode-redtt-diagnostics github similar
• aronisstav/formal-trace-theory github similar
• m-yac/tt-in-cagda github similar
• wenkokke/nodcap github similar
• metasepi/idiomaticca github similar
• dmjio/hello-rust-haskell-nix github similar
• ericfinster/catt github similar
• effectfully/Cubes github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• robrix/Manifold github similar
• colin-adams/idris-libmicrohttpd github similar
• larrytheliquid/zero-cost-coercions github similar
• JasonGross/lob-paper github similar
• uelis/contextual github similar
• bishabosha/mini-c-lang github similar
• pigworker/Gigs-Summer-2018 github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• larrytheliquid/generic-reuse github similar
• ziman/itt-idris github similar