Implementation of lambda terms and formulas to represent substitution better....
Implementation of lambda terms and formulas to represent substitution better. Cleaned up and reorganised substitutions. Making everything recompile is on its way
parent
ab20534b
No related branches found
No related tags found
Showing
- src/main/scala/lisa/kernel/Printer.scala 6 additions, 6 deletionssrc/main/scala/lisa/kernel/Printer.scala
- src/main/scala/lisa/kernel/fol/FOL.scala 2 additions, 1 deletionsrc/main/scala/lisa/kernel/fol/FOL.scala
- src/main/scala/lisa/kernel/fol/FormulaDefinitions.scala 1 addition, 100 deletionssrc/main/scala/lisa/kernel/fol/FormulaDefinitions.scala
- src/main/scala/lisa/kernel/fol/Substitutions.scala 182 additions, 0 deletionssrc/main/scala/lisa/kernel/fol/Substitutions.scala
- src/main/scala/lisa/kernel/fol/TermDefinitions.scala 0 additions, 43 deletionssrc/main/scala/lisa/kernel/fol/TermDefinitions.scala
- src/main/scala/lisa/kernel/proof/SCProofChecker.scala 32 additions, 31 deletionssrc/main/scala/lisa/kernel/proof/SCProofChecker.scala
- src/main/scala/lisa/kernel/proof/SequentCalculus.scala 14 additions, 14 deletionssrc/main/scala/lisa/kernel/proof/SequentCalculus.scala
Loading
Please register or sign in to comment