stepchowfun/theorem-prover

Issues

• Problem when running one of the examples

  #6 opened 5 years ago by Calugar25
  1

• Question about uniqueness quantification

  #5 opened 6 years ago by ersincine
  3

• Problem finding proof

  #3 opened 10 years ago by goerch
  1

• Invalid proof found

  #4 opened 10 years ago by goerch
  1

• Syntax error with Python 3.4

  #2 opened 10 years ago by goerch
  1

• Gödel's first incompleteness theorem

  #1 opened 10 years ago by solusipse
  1