Similar repositories to naveensundarg/prover:

• naveensundarg/prover github similar
• naveensundarg/DCECProver github similar
• Atriya/woodger github similar
• nilqed/SNARK github similar
• Lehnart/alife github similar
• kdelwat/Onset github similar
• bluelisp/hemlock github similar
• trishullab/houdini github similar
• ai-systems/DILP-Core github similar
• sellout/quid-pro-quo github similar
• naveensundarg/Common-Lisp-Actors github similar
• blindglobe/common-lisp-stat github similar
• asciidoc-py/asciidoc-py github similar
• vprover/vampire github similar
• sionescu/bordeaux-threads github similar
• stepchowfun/theorem-prover github similar
• vindarel/cl-str github similar
• orthecreedence/cl-async github similar
• CObjectSystem/COS github similar
• daly/axiom github similar
• opennars/opennars github similar
• melisgl/mgl github similar
• vacancy/NSCL-PyTorch-Release github similar
• crazydonkey200/neural-symbolic-machines github similar
• Submitty/Submitty github similar
• pysmt/pysmt github similar
• Kyubyong/g2p github similar
• rmunro/pytorch_active_learning github similar
• deepmind/jraph github similar
• leanprover-community/mathlib github similar
• Curt-Park/rainbow-is-all-you-need github similar
• leanprover/lean4 github similar
• facebookresearch/InferSent github similar
• Errichto/youtube github similar
• commonsense/conceptnet5 github similar
• lixin4ever/Conference-Acceptance-Rate github similar
• suragnair/alpha-zero-general github similar
• PAIR-code/lit github similar
• e-maxx-eng/e-maxx-eng github similar
• froggey/Mezzano github similar