Similar repositories to FreeProving/language-coq:

• FreeProving/language-coq github similar
• blockstack/stacks github similar
• robinp/align github similar
• danistefanovic/build-your-own-x github similar
• myuon/quartz github similar
• bristolpl/intensional-datatys github similar
• asr/tm-coinduction github similar
• jespercockx/ttac github similar
• kcsmnt0/proof-trees github similar
• jonsterling/coq-algebra-experiments github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• skeuchel/gdtc github similar
• pa-ba/cps-defun github similar
• 5HT/agda-nr-cats github similar
• goldfirere/ott-tutorial github similar
• ivanbakel/coq-antivalence github similar
• gmalecha/coq-plugin-template github similar
• jihgfee/coq-system_f github similar
• pcaisse/language-map-us github similar
• osa1/wasmrun github similar
• joshuasellers/CardgameDSL github similar
• cartazio/system-lf github similar
• ssomayyajula/elab github similar
• luqui/manifesto github similar
• Ptival/language-coq github similar
• TOTBWF/agda-higher-categories github similar
• dhil/hx github similar
• fumieval/data-functor-logistic github similar
• JakobBruenker/curses-idris github similar
• mbrodersen/idris-sandbox github similar
• minchaowu/mm-lean github similar
• lambdabot/IOSpec github similar
• paf31/purescript-lens-simple github similar
• mpickering/elaborator-reflection-haskell github similar
• madgen/refinement-types-seminar github similar
• pigworker/Box github similar
• Nipsuli/unison-utils github similar
• ekmett/hyperfunctions github similar
• appliedfm/vstyle github similar