Similar repositories to psteckler/ProofGeneral:

• psteckler/ProofGeneral github similar
• wilcoxjay/mechanized-metatheory2 github similar
• bixuanzju/papers-phd github similar
• bedrocksystems/coq-lens github similar
• gkaracha/quantcs-impl github similar
• gmalecha/coq-ltac-iter github similar
• plclub/lngen github similar
• jozefg/undergraduate-thesis github similar
• gmalecha/coq-interaction-trees github similar
• gmalecha/mirror-core github similar
• andreasabel/helf github similar
• mit-plv/bbv github similar
• kcrary/cmtool github similar
• andreasabel/strong-normalization github similar
• aa755/ROSCoq github similar
• JasonGross/coq-tools github similar
• plclub/cis670-16fa github similar
• david-christiansen/pudding-old github similar
• dschepler/coq-sequent-calculus github similar
• hkuplg/fcore github similar
• gallais/potpourri github similar
• wilbowma/mttex github similar
• Karmaki/coq-dpdgraph github similar
• Mtac2/Mtac2 github similar
• david-christiansen/epigram1 github similar
• DeepSpec/dsss17 github similar
• CertiCoq/certicoq github similar
• plclub/metalib github similar
• coq/opam-coq-archive github similar
• lexi-lambda/higher-rank github similar
• gasche/popl2017-papers 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
• tweag/linear-types github similar
• coq-community/coq-dpdgraph github similar
• bobatkey/sott github similar
• math-comp/mcb github similar
• uds-psl/coq-library-undecidability github similar
• cpitclaudel/company-coq github similar