Similar repositories to thoughtpolice/coq-skeleton:

• thoughtpolice/coq-skeleton github similar
• gibiansky/IHaskell github similar
• Zimmi48/dotfiles github similar
• raichoo/IdrisCSVExample github similar
• tchajed/regex-derivative github similar
• davidwlewis/Oz github similar
• UniMath/SetHITs github similar
• ekmett/homotopy github similar
• gmalecha/skip-list github similar
• Eelis/qs-avg github similar
• shlevy/cat-fiat github similar
• gmalecha/template-coq github similar
• kframework/matching-logic-prover github similar
• SkySkimmer/HoTTClasses github similar
• yav/simple-smt github similar
• jwiegley/linearscan github similar
• gmalecha/coq-interaction-trees github similar
• reynir/Verified github similar
• fpottier/minirust github similar
• heades/System-F-Coq github similar
• maximedenes/coq-amd64 github similar
• jwiegley/categorical github similar
• gmalecha/mirror-core github similar
• BrianHicks/spacemacs-rocks github similar
• acowley/dotfiles github similar
• gbaz/mess github similar
• mit-frap/spring17 github similar
• thsutton/cha github similar
• atzeus/CTRex github similar
• HoTT/M-types github similar
• idris-hackers/idris-cph-exercises github similar
• idris-hackers/eff-tutorial github similar
• jacobstanley/idris-vba github similar
• pa-ba/calc-comp github similar
• coq-community/coqdocjs github similar
• coq-community/reglang github similar
• QuickChick/Luck github similar
• csgordon/cayenne github similar
• msp-strath/ZEUG github similar
• puffnfresh/crosscheck github similar