TheThirdOne/theorem-prover

Issues

• Add a flexible parser

  #7 opened 7 years ago by TheThirdOne
  0

• Add a truth table

  #6 opened 8 years ago by TheThirdOne
  0

• Move code from assorted-examples

  #1 opened 8 years ago by TheThirdOne
  0

• Add explanation of Propositional logic

  #5 opened 8 years ago by TheThirdOne
  0

• Improve pruning

  #4 opened 8 years ago by TheThirdOne
  0

• Add tests

  #3 opened 8 years ago by TheThirdOne
  0

• Add a web interface to the js implementation

  #2 opened 8 years ago by TheThirdOne
  0