Similar repositories to gmalecha/coq-plugin-template:

• gmalecha/coq-plugin-template github similar
• asr/tm-coinduction github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• bristolpl/intensional-datatys github similar
• jihgfee/coq-system_f github similar
• FreeProving/language-coq github similar
• mzp/condoc github similar
• snoyberg/map-class github similar
• ssomayyajula/elab github similar
• jespercockx/ttac github similar
• kcsmnt0/proof-trees github similar
• lambdabot/IOSpec github similar
• tchajed/goedel-t github similar
• mpickering/elaborator-reflection-haskell github similar
• appliedfm/vstyle github similar
• BekaValentine/basic-proof-development github similar
• shlevy/cat-fiat github similar
• chrisdone/caseof github similar
• ayberkt/Mini-TT github similar
• mstksg/decidable github similar
• umazalakain/fyp github similar
• tchajed/coq-tactical github similar
• thery/T2048 github similar
• coq-community/docker-coq-action github similar
• uwplse/magic github similar
• ybertot/plugin_tutorials github similar
• taktoa/wasm-agda github similar
• gdijkstra/hs-to-gallina github similar
• SimonBoulier/TypingFlags github similar
• gallais/thesis github similar
• takanuva/coc github similar
• pleiad/Refinements github similar
• plclub/lngen github similar
• uwplse/oeuf github similar
• gmalecha/coq-interaction-trees github similar
• CertiKOS/coqrel github similar
• puffnfresh/leftpad.hs github similar
• andreasabel/ipl github similar
• bobatkey/interactive-natural-deduction github similar