Similar repositories to ChrisWaites/theorem-prover:

• danistefanovic/build-your-own-x github similar
• ChrisWaites/theorem-prover github similar
• amahabal/Seqsee github similar
• fritzo/Johann github similar
• gurgeh/CodeSpace github similar
• bhamodi/facebook-online-friend-tracker github similar
• t-mw/citygen github similar
• stepchowfun/theorem-prover github similar
• guardians-of-life/awesome-artificial-general-intelligence github similar
• mjkaufer/Messer github similar
• deepmind/chex github similar
• StanfordPL/stoke github similar
• primaryobjects/AI-Programmer github similar
• kripken/box2d.js github similar
• torch/nn github similar
• nicodjimenez/lstm github similar
• mgbellemare/Arcade-Learning-Environment github similar
• mathics/Mathics github similar
• opencog/opencog github similar
• deepmind/dnc github similar
• pybrain/pybrain github similar
• jsvine/markovify github similar
• HunterLarco/voxel.css github similar
• deepmind/open_spiel github similar
• Frege/frege github similar
• hill-a/stable-baselines github similar
• microsoft/malmo github similar
• cjb/GitTorrent github similar
• karpathy/neuraltalk github similar
• HaxeFoundation/haxe github similar
• google/seq2seq github similar
• official-stockfish/Stockfish github similar
• deepmind/lab github similar
• cazala/synaptic github similar
• a1studmuffin/SpaceshipGenerator github similar
• deepmind/pysc2 github similar
• xoreaxeaxeax/movfuscator github similar
• karpathy/minGPT github similar
• bitcoin/bips github similar
• harthur/brain github similar