automated-theorem-proving

There are 2 repositories under automated-theorem-proving topic.

• j991222 / ai4math-papers

  AI for Mathematics (AI4Math) paper list

  ai4mathautoformalizaionautomated-theorem-provingbenchmarksmachine-learningpaper-listreinforcement-learning
  54

• auntyellow / math

  Brute force math problem solving

  geometrymathematicssympygeogebraautomated-theorem-proving
  Language:Python 8

• amka66 / mai

  mai: MAth Interpreter with standard foundations

  foundations-of-mathematicsproof-assistantfirst-order-logicset-theoryformal-mathematicsautomated-theorem-proving
  Language:Prolog 2

• artemmavrin / autoproof

  Intuitionistic and classical propositional logic library

  automated-theorem-provingnatural-deductionproof-searchintuitionistic-logicsequent-calculusclassical-logicpropositional-logic
  Language:Haskell 1

• aureleeNet / rio

  A reasoner for Input/Output logic

  input-output-logicnormative-reasoningautomated-deductiontptpautomated-theorem-provingdeontic-logics
  Language:Scala 1

• Brandon-Rozek / TPTP-Examples

  Example axiom and problem files within the TPTP Format

  automated-theorem-provingtptp
  Language:OpenEdge ABL 1

• jaalonso / Razonando-con-Lean

  Elaboración de demostraciones con Lean.

  automated-theorem-provingleanprovermathematicsproof-assistant
  Language:Lean 1

• lambduli / resin

  A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.

  automated-theorem-provingfirst-order-logiclogical-inferenceresolutiontheorem-proverclassical-logic
  Language:Haskell 1

• elizabeth-c-chen / data1030-ML-theorem-proving

  Course Project for Hands-on Data Science (DATA 1030) at Brown University.

  automated-theorem-provingclassificationdata-sciencemachine-learningpython
  Language:Jupyter Notebook 0

• RAIRLab / prover

  This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.

  automated-theorem-provingjava
  Language:Common Lisp 0

• vleni / Pantograph

  (Mirror) A Lean machine-to-machine REPL

  automated-theorem-provingleanmachine-learning
  Language:Lean 0

• filipbartek / learning-precedences-from-elementary-symbol-features

  automated-theorem-provingmachine-learningsymbol-precedence
  Language:TeX

• termsurfback / math

  Math in XO

  mathinteractive-theorem-provingautomated-theorem-provingformal-verificationproofstheorem-provingfoundations