Similar repositories to andrew-bedford/coqatoo:

• andrew-bedford/coqatoo github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• sweirich/corespec github similar
• hanxiao/bert-as-service github similar
• dbp/howtoproveacompiler github similar
• ssomayyajula/elab github similar
• RobertHarper/hott-notes github similar
• sweirich/replib github similar
• benjaminselfridge/logix github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• nikivazou/theorem-proving-template github similar
• shlevy/cat-fiat github similar
• ezyang/backpack-examples github similar
• tuvtran/project-based-learning github similar
• uwplse/magic github similar
• shaunlebron/parinfer github similar
• TikhonJelvis/imp github similar
• robrix/abstract-interpretation github similar
• dschepler/coq-sequent-calculus github similar
• DeepSpec/dsss18 github similar
• MikaelMayer/Editor github similar
• jwiegley/bytestring-fiat github similar
• jldodds/coq-lean-cheatsheet github similar
• GaloisInc/cryfsm github similar
• plclub/metalib github similar
• jwiegley/z3cat github similar
• BekaValentine/basic-proof-development github similar
• ezyang/lr-agda github similar
• Ptival/PeaCoq github similar
• OPLSS/oplss-notes-2017 github similar
• gmittert/paradise github similar
• identicalsnowflake/cantor-pairing github similar
• micahhahn/FunctionalGeometry github similar
• plclub/lngen github similar
• srdqty/talc-3.0 github similar
• TikhonJelvis/modular-arithmetic github similar
• LeastAuthority/haskell-spake2 github similar
• aische/typelevel-examples github similar
• gdijkstra/hs-to-gallina github similar