Similar repositories to conda-forge/coq-feedstock:
gibiansky/IHaskell
github
similar
conda-forge/coq-feedstock
github
similar
danistefanovic/build-your-own-x
github
similar
SkySkimmer/ZF
github
similar
Zilliqa/scilla-mode
github
similar
thery/lemonde
github
similar
codewars/coq_codewars
github
similar
Sobernard/Lindemann
github
similar
MisterDA/ocaml-platform
github
similar
kendroe/CoqRewriter
github
similar
corneliuhoffman/spatchcoqocaml
github
similar
dwarfmaster/commutative-diagrams
github
similar
math-comp/multinomials
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
ppedrot/lsh-generator
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
ocaml/0install-tools
github
similar
akabe/odoc-ltxhtml
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
Armael/coq-procrastination
github
similar
coq/bot
github
similar