Similar repositories to wilcoxjay/mechanized-metatheory2:

• wilcoxjay/mechanized-metatheory2 github similar
• psteckler/ProofGeneral github similar
• jozefg/undergraduate-thesis github similar
• andreasabel/helf github similar
• plclub/lngen github similar
• kcrary/cmtool github similar
• andreasabel/strong-normalization github similar
• plclub/cis670-16fa github similar
• gallais/potpourri github similar
• wilcoxjay/mypyvy github similar
• david-christiansen/epigram1 github similar
• mortberg/yacctt github similar
• discus-lang/salt github similar
• xnning/GHC-Core-Literature-Review github similar
• alhassy/next-700-module-systems github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• bobatkey/sott github similar
• andreasabel/miniagda github similar
• lexi-lambda/higher-rank github similar
• sdiehl/repline github similar
• math-comp/mcb github similar
• ilyasergey/pnp github similar
• disco-lang/disco github similar
• type-theory/type-theory-study-group github similar
• RedPRL/redtt github similar
• RedPRL/cooltt github similar
• SomewhatML/sml-compiler github similar
• Deducteam/lambdapi github similar
• CozySynthesizer/cozy github similar
• snowleopard/hadrian github similar
• cedille/cedille github similar
• mit-pdos/fscq github similar
• QuickChick/QuickChick github similar
• RedPRL/sml-redprl github similar
• melsman/mlkit github similar
• uhub/awesome-coq github similar
• tchajed/coq-tricks github similar
• quchen/prettyprinter github similar
• sweirich/dth github similar
• sweirich/pi-forall github similar