Similar repositories to kth-step/HolBA:

• kth-step/HolBA github similar
• danistefanovic/build-your-own-x github similar
• oven-sh/bun github similar
• m0rphism/definitional github similar
• SkySkimmer/ZF github similar
• bedrocksystems/cpp2v github similar
• hecrj/iced github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• mit-plv/rupicola github similar
• c-cube/smbc github similar
• clayrat/modal-types github similar
• Sobernard/Lindemann github similar
• regehr/llvm-dataflow-info github similar
• nirhasabnis/seclab_eissec github similar
• kendroe/CoqRewriter github similar
• dwarfmaster/commutative-diagrams github similar
• owo-lang/Mini-TT github similar
• llelf/cocoricoogle github similar
• vyorkin/okasaki-ocaml github similar
• jtassarotti/coq-proba github similar
• leuschel/logen github similar
• math-comp/POPLmark github similar
• proofengineering/coq-ast github similar
• mit-plv/rewriter github similar
• madgen/refinement-types-seminar github similar
• CoqHott/coq-forcing github similar
• backtracking/ocaml-bdd github similar
• PLSysSec/veriwasm-verification github similar
• verse-lab/ego github similar
• coq/bignums github similar
• backtracking/program-proofs-with-why3 github similar
• uwplse/coq-plugin-lib github similar
• imdea-software/fcsl-pcm github similar
• nasa/FPRoCK github similar
• arthuraa/deriving github similar
• vishesh/racketscript github similar
• ocramz/algebraic-graphs-io github similar
• dyninst/tools github similar
• halo-project/halo github similar
• drouhling/LaSalle github similar