Similar repositories to mukeshtiwari/Coq-automation:

• mukeshtiwari/Coq-automation github similar
• beje8442/haskellToCoqCompiler github similar
• bristolpl/intensional-datatys github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• poplmark-reloaded/poplmark-reloaded github similar
• YaZko/Coq_Cheat_Sheet github similar
• hephaestus-pl/coqfj github similar
• lastland/ClairvoyanceMonad github similar
• rodrigogribeiro/unification github similar
• gmalecha/coq-interaction-trees github similar
• thery/T2048 github similar
• LightAndLight/idris-but-its-c github similar
• dmbaturin/hope github similar
• plclub/lngen github similar
• pedrotst/coquedille github similar
• tchajed/ltac2-tutorial github similar
• brianhempel/live-ghci github similar
• coq-community/paramcoq github similar
• Mtac2/Mtac2 github similar
• coq-io/io github similar
• plclub/metalib github similar
• affeldt-aist/monae github similar
• coq-community/manifesto github similar
• EugeneLoy/coq_jupyter github similar
• DeepSpec/dsss17 github similar
• Ptival/PeaCoq github similar
• effect-handlers/effects-rosetta-stone github similar
• coq-community/coq-ext-lib github similar
• discus-lang/iron github similar
• aya-prover/aya-dev github similar
• gasche/icfp2017-papers github similar
• jwiegley/coq-haskell github similar
• DeepSpec/InteractionTrees github similar
• A1kmm/proofsweeper github similar
• sifive/Kami github similar
• mattam82/Coq-Equations github similar
• david-christiansen/pie-hs github similar
• coq-community/vscoq github similar
• QuickChick/QuickChick github similar
• MetaCoq/metacoq github similar