Similar repositories to DeepSpec/dsss17:

• DeepSpec/dsss17 github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• OPLSS/oplss-notes-2017 github similar
• DeepSpec/dsss18 github similar
• RobertHarper/hott-notes github similar
• aquynh/capstone github similar
• mit-plv/fiat github similar
• QuickChick/QuickChick github similar
• ilyasergey/pnp github similar
• coq-community/coq-ext-lib github similar
• dvanhorn/redex-aam-tutorial github similar
• metaocaml/metaocaml-bibliography github similar
• jwiegley/coq-haskell github similar
• mit-plv/bbv github similar
• plclub/metalib github similar
• tchajed/ltac2-tutorial github similar
• Mtac2/Mtac2 github similar
• Saizan/miller github similar
• sweirich/corespec github similar
• TheoWinterhalter/formal-type-theory github similar
• uhub/awesome-coq github similar
• scmu/foundations-harper github similar
• namin/dafny-sandbox github similar
• plclub/lngen github similar
• mattam82/Coq-Equations github similar
• tuvtran/project-based-learning github similar
• coq-community/autosubst github similar
• sweirich/lambda-n-ways github similar
• discus-lang/iron github similar
• cpitclaudel/company-coq github similar
• wilbowma/mttex github similar
• jozefg/higher-order-unification github similar
• wilbowma/cic-redex github similar
• dlicata335/hott-agda github similar
• vlopezj/coq-course github similar
• UlfNorell/agda-summer-school github similar
• david-christiansen/epigram1 github similar
• mr-ohman/logrel-mltt github similar
• coq-community/manifesto github similar