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