Similar repositories to codewars/coq_codewars:

• codewars/coq_codewars github similar
• danistefanovic/build-your-own-x github similar
• SkySkimmer/ZF github similar
• Zilliqa/scilla-mode github similar
• thery/lemonde github similar
• Sobernard/Lindemann github similar
• MisterDA/ocaml-platform github similar
• kendroe/CoqRewriter github similar
• corneliuhoffman/spatchcoqocaml github similar
• conda-forge/coq-feedstock github similar
• dwarfmaster/commutative-diagrams github similar
• llelf/cocoricoogle github similar
• coq-community/coq-performance-tests github similar
• vyorkin/okasaki-ocaml github similar
• coq-community/generic-environments github similar
• math-comp/POPLmark github similar
• proofengineering/coq-ast github similar
• ANSSI-FR/coq-prelude github similar
• m0rphism/definitional github similar
• madgen/refinement-types-seminar github similar
• CoqHott/coq-forcing github similar
• backtracking/ocaml-bdd github similar
• PLSysSec/veriwasm-verification github similar
• ivanbakel/coq-antivalence github similar
• shonfeder/kwdcmd github similar
• backtracking/program-proofs-with-why3 github similar
• imandra-ai/mhash github similar
• backtracking/flex-array github similar
• kit-ty-kate/llvm-dune github similar
• math-comp/real-closed github similar
• tchajed/coq-ltac2-experiments github similar
• GaloisInc/saw-core-coq github similar
• bramvdbogaerde/z3-wasm github similar
• raaz-crypto/verse-coq github similar
• math-comp/multinomials github similar
• coq-community/huffman github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• fetburner/coq-dijkstra github similar
• uwplse/magic github similar
• clayrat/modal-types github similar