Finished the implementation of the new substitutions mechanism and made all...
Finished the implementation of the new substitutions mechanism and made all existing proofs compatible, compiling and passing all tests again.
Showing
- src/main/scala/lisa/KernelHelpers.scala 4 additions, 4 deletionssrc/main/scala/lisa/KernelHelpers.scala
- src/main/scala/lisa/kernel/Printer.scala 2 additions, 2 deletionssrc/main/scala/lisa/kernel/Printer.scala
- src/main/scala/lisa/kernel/proof/Judgement.scala 1 addition, 1 deletionsrc/main/scala/lisa/kernel/proof/Judgement.scala
- src/main/scala/lisa/kernel/proof/SCProofChecker.scala 115 additions, 117 deletionssrc/main/scala/lisa/kernel/proof/SCProofChecker.scala
- src/main/scala/lisa/kernel/proof/SequentCalculus.scala 2 additions, 2 deletionssrc/main/scala/lisa/kernel/proof/SequentCalculus.scala
- src/main/scala/proven/DSetTheory/Part1.scala 66 additions, 44 deletionssrc/main/scala/proven/DSetTheory/Part1.scala
- src/main/scala/proven/ElementsOfSetTheory.scala 14 additions, 17 deletionssrc/main/scala/proven/ElementsOfSetTheory.scala
- src/test/scala/lisa/kernel/IncorrectProofsTests.scala 5 additions, 5 deletionssrc/test/scala/lisa/kernel/IncorrectProofsTests.scala
- src/test/scala/lisa/kernel/ProofTests.scala 1 addition, 1 deletionsrc/test/scala/lisa/kernel/ProofTests.scala
- src/test/scala/lisa/proven/ElementsOfSetTheoryTests.scala 2 additions, 4 deletionssrc/test/scala/lisa/proven/ElementsOfSetTheoryTests.scala
Loading
Please register or sign in to comment