Similar repositories to tchajed/spacemacs-coq:

• tchajed/spacemacs-coq github similar
• danistefanovic/build-your-own-x github similar
• JanBessai/BCD github similar
• tov/latex-ottalt github similar
• palmskog/ocaml-light github similar
• ayberkt/sml-system-t github similar
• tchajed/coq-ltac2-experiments github similar
• arthuraa/coq-utils github similar
• uwplse/magic github similar
• gallais/thesis github similar
• robsimmons/abbot github similar
• RobertHarper/hott-notes github similar
• proofengineering/proofengineering-bib github similar
• arthuraa/extructures github similar
• shonfeder/um-abt github similar
• coq-community/dblib github similar
• plclub/lngen github similar
• stonebuddha/eopl github similar
• JasonGross/coq-tools github similar
• jldodds/coq-lean-cheatsheet github similar
• kmicinski/example-ocaml-merlin github similar
• gallais/parseque github similar
• slasser/vermillion github similar
• andrew-bedford/coqatoo github similar
• uwplse/pumpkin-pi github similar
• Mtac2/Mtac2 github similar
• AndrasKovacs/system-f-omega github similar
• uds-psl/coq-library-undecidability github similar
• chriskempson/base16 github similar
• discus-lang/iron github similar
• pigworker/CS410-14 github similar
• plclub/metalib github similar
• coq/opam-coq-archive github similar
• sweirich/corespec github similar
• coq-community/manifesto github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• coq-community/coq-art github similar
• bobatkey/sott github similar
• lexi-lambda/racket-r7rs github similar
• DeepSpec/dsss17 github similar