-
- Downloads
"testcases/matlab_testscripts/Hallenbert.m" did not exist on "2a5f329a8148d9b9451dfd22378ddcfd7e0c3344"
Reorganize (#191)
Reorganize and clean up files: Remove old unussed files, move the root project to lisa-sets, change lisa.mathematics to lisa.maths, some more.
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- build.sbt 9 additions, 5 deletionsbuild.sbt
- lisa-examples/src/main/scala/Example.scala 1 addition, 1 deletionlisa-examples/src/main/scala/Example.scala
- lisa-kernel/src/main/scala/lisa/kernel/fol/EquivalenceChecker.scala 0 additions, 1 deletion...l/src/main/scala/lisa/kernel/fol/EquivalenceChecker.scala
- lisa-kernel/src/main/scala/lisa/kernel/proof/RunningTheory.scala 0 additions, 2 deletions...rnel/src/main/scala/lisa/kernel/proof/RunningTheory.scala
- lisa-sets/src/main/scala/lisa/Main.scala 32 additions, 0 deletionslisa-sets/src/main/scala/lisa/Main.scala
- lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala 131 additions, 8 deletionslisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala
- lisa-sets/src/main/scala/lisa/automation/CommonTactics.scala 1 addition, 1 deletionlisa-sets/src/main/scala/lisa/automation/CommonTactics.scala
- lisa-sets/src/main/scala/lisa/automation/Substitution.scala 2 additions, 1 deletionlisa-sets/src/main/scala/lisa/automation/Substitution.scala
- lisa-sets/src/main/scala/lisa/automation/Tableau.scala 0 additions, 0 deletionslisa-sets/src/main/scala/lisa/automation/Tableau.scala
- lisa-sets/src/main/scala/lisa/automation/Tautology.scala 46 additions, 50 deletionslisa-sets/src/main/scala/lisa/automation/Tautology.scala
- lisa-sets/src/main/scala/lisa/automation/settheory/SetTheoryTactics.scala 5 additions, 7 deletions...in/scala/lisa/automation/settheory/SetTheoryTactics.scala
- lisa-sets/src/main/scala/lisa/maths/Quantifiers.scala 1 addition, 9 deletionslisa-sets/src/main/scala/lisa/maths/Quantifiers.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/InductiveSets.scala 7 additions, 19 deletions...s/src/main/scala/lisa/maths/settheory/InductiveSets.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/SetTheory.scala 2 additions, 6 deletions...-sets/src/main/scala/lisa/maths/settheory/SetTheory.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/InclusionOrders.scala 4 additions, 14 deletions...cala/lisa/maths/settheory/orderings/InclusionOrders.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Induction.scala 13 additions, 32 deletions...main/scala/lisa/maths/settheory/orderings/Induction.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Orderings.scala 1 addition, 3 deletions...main/scala/lisa/maths/settheory/orderings/Orderings.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Ordinals.scala 6 additions, 16 deletions.../main/scala/lisa/maths/settheory/orderings/Ordinals.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/PartialOrders.scala 3 additions, 13 deletions.../scala/lisa/maths/settheory/orderings/PartialOrders.scala
Loading
Please register or sign in to comment