Similar repositories to mir-ikbch/compl_coq:

• mir-ikbch/compl_coq github similar
• cpdt-japanese/cpdt-japanese github similar
• pfnet-research/treewidth-prediction github similar
• shnarazk/mios github similar
• sfja/sfja github similar
• nadia-polikarpova/synquid github similar
• pfnet-research/chainer-compiler github similar
• msakai/toysolver github similar
• advancedtelematic/quickcheck-state-machine github similar
• pirapira/coq2rust github similar
• QuickChick/QuickChick github similar
• agda/agda-stdlib github similar
• UniMath/UniMath github similar
• HoTT/HoTT github similar
• ucsd-progsys/liquidhaskell github similar
• gfngfn/SATySFi github similar
• AbsInt/CompCert github similar
• coq/coq github similar
• leanprover/lean github similar
• pytorch/glow github similar
• chainer/chainer github similar
• cisco/ChezScheme github similar
• Z3Prover/z3 github similar
• jgm/pandoc github similar