Similar repositories to proofengineering/proofengineering-bib:

• proofengineering/proofengineering-bib github similar
• danistefanovic/build-your-own-x github similar
• dboulytchev/miniKanren-coq github similar
• Matafou/LibHyps github similar
• coq-community/proviola github similar
• uwplse/magic github similar
• thery/T2048 github similar
• jespercockx/reflection-tutorial github similar
• uwplse/CoqAST github similar
• jespercockx/popl19-tutorial github similar
• m0rphism/definitional github similar
• gallais/thesis github similar
• JasonGross/coq-tools github similar
• ichistmeinname/free-proving github similar
• Lysxia/coq-recursion-schemes github similar
• coq-contribs/finger-tree github similar
• uwplse/oeuf github similar
• coq-community/templates github similar
• ankitku/TAL0 github similar
• math-comp/tutorial_material github similar
• DeepSpec/dsss18 github similar
• dschepler/coq-sequent-calculus github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• RobertHarper/hott-notes github similar
• Lysxia/coq-simple-io github similar
• OPLSS/oplss-notes-2019 github similar
• jihgfee/coq-system_f github similar
• uwplse/pumpkin-pi github similar
• SimonBoulier/TypingFlags github similar
• jkoppel/thermometer-continuations github similar
• Armael/coq-procrastination github similar
• aa755/paramcoq github similar
• math-comp/docker-mathcomp github similar
• ssomayyajula/elab github similar
• jespercockx/ttac github similar
• andreasabel/shift-reset-dsl github similar
• KolodeznyDiver/THEff github similar
• coq-community/semantics github similar
• rafaelcgs10/W-in-Coq github similar