Similar repositories to coq-contribs/cats-in-zfc:

• coq-contribs/cats-in-zfc github similar
• snumath/SDE github similar
• coq-contribs/lin-alg github similar
• coq-contribs/zfc github similar
• hivert/Coq-Combi github similar
• b-mehta/topos github similar
• cmu-phil/Spectral github similar
• coq-community/paramcoq github similar
• teorth/QED github similar
• GeoCoq/GeoCoq github similar
• SRI-CSL/PVS github similar
• jwiegley/coq-haskell github similar
• coq-community/coq-ext-lib github similar
• leanprover/lean2 github similar
• math-comp/mcb github similar
• thomasrussellmurphy/istyle-verilog-formatter github similar
• pandaman64/effective-rust github similar
• kuis-isle3sw/IoPLMaterials github similar
• DeepSpec/InteractionTrees github similar
• martinescardo/HoTTEST-Summer-School github similar
• QuickChick/QuickChick github similar
• riscv/sail-riscv github similar
• ProofGeneral/PG github similar
• math-comp/math-comp github similar
• UniMath/SymmetryBook github similar
• cpitclaudel/company-coq github similar
• JiaxuanYou/P-GNN github similar
• HOL-Theorem-Prover/HOL github similar
• UniMath/UniMath github similar
• Omegastick/pytorch-cpp-rl github similar
• jscoq/jscoq github similar
• ThoughtWorksInc/DeepDarkFantasy github similar
• riscv-software-src/riscv-tests github similar
• deepmind/ferminet github similar
• mortberg/cubicaltt github similar
• HoTT/HoTT github similar
• achlipala/frap github similar
• picolibc/picolibc github similar
• nick8325/quickcheck github similar
• IUCompilerCourse/Essentials-of-Compilation github similar