Similar repositories to dbp/literatecoq:

• dbp/literatecoq github similar
• skeuchel/gdtc github similar
• chrisamaphone/drinks github similar
• lambdabot/IOSpec github similar
• CoqHott/DICoq github similar
• nuprl/gradual-typing-performance github similar
• wilbowma/scribble-coq github similar
• YaZko/Coq_Cheat_Sheet github similar
• racket/data github similar
• vasilisp/inez github similar
• gmalecha/template-coq github similar
• david-christiansen/todo-list github similar
• uwplse/magic github similar
• stamourv/racket-benchmark github similar
• hephaestus-pl/coqfj github similar
• jashug/FormalizedCompilerAlgorithms github similar
• imfd/GraphCoQL github similar
• lastland/ClairvoyanceMonad github similar
• david-christiansen/dr-racket-like-unicode github similar
• SimonBoulier/TypingFlags github similar
• justinpombrio/synless github similar
• gmalecha/coq-interaction-trees github similar
• mlin/should.ml github similar
• mit-plv/rewriter github similar
• dvanhorn/dpc github similar
• sifive/ProcKami github similar
• thery/coqprime github similar
• ybertot/plugin_tutorials github similar
• tchajed/coq-record-update github similar
• philnguyen/z3-rkt github similar
• LightAndLight/parametricity-proofs github similar
• xavierleroy/coq2html github similar
• Lysxia/coq-simple-io github similar
• jbclements/rust-redex github similar
• pigworker/EGTBS github similar
• palmskog/coq-program-verification-template github similar
• pedrotst/coquedille github similar
• danelahman/haskell-coop github similar
• plum-umd/cgc github similar
• QuickChick/Luck github similar