Similar repositories to wkolowski/CoqCat:

• aquynh/capstone github similar
• gmalecha/coq-markov github similar
• wkolowski/CoqCat github similar
• SkySkimmer/HoTT-algebra github similar
• dschepler/coq-zorns-lemma github similar
• peterlefanulumsdaine/Oberwolfach-explorations github similar
• dschepler/coq-topology github similar
• mit-frap/spring17 github similar
• webyrd/slpKanren github similar
• bmsherman/topology github similar
• andrejbauer/dedekind-reals github similar
• andrejbauer/Homotopy github similar
• TheoWinterhalter/formal-type-theory github similar
• amintimany/Categories github similar
• coq-community/math-classes github similar
• UniMath/TypeTheory github similar
• CertiCoq/certicoq github similar
• type-theory/learn-tt github similar
• coq/opam-coq-archive github similar
• coq-community/corn github similar
• martinescardo/TypeTopology github similar
• discus-lang/iron github similar
• ezyang/logitext github similar
• GeoCoq/GeoCoq github similar
• awesomo4000/awesome-provable github similar
• mattam82/Coq-Equations github similar
• lukaszcz/coqhammer github similar
• whonore/Coqtail github similar
• Deducteam/lambdapi github similar
• mit-plv/bedrock2 github similar
• pirapira/coq2rust github similar
• MetaCoq/metacoq github similar
• acl2/acl2 github similar
• akeep/scheme-to-c github similar
• cpitclaudel/company-coq github similar
• PrincetonUniversity/VST github similar
• dan-t/rusty-tags github similar
• achlipala/frap github similar
• tchajed/coq-tricks github similar
• GaloisInc/saw-script github similar