Continued work on DSL for Theories.
Printing, constructing theorems and all kinds of definitions, authomatic conversions, and much more.
Showing
- src/main/scala/dev/A.scala 0 additions, 5 deletionssrc/main/scala/dev/A.scala
- src/main/scala/dev/WithMain.scala 0 additions, 8 deletionssrc/main/scala/dev/WithMain.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/RunningTheory.scala 26 additions, 40 deletionssrc/main/scala/lisa/kernel/proof/RunningTheory.scala
- src/main/scala/lisa/kernel/proof/SCProof.scala 2 additions, 2 deletionssrc/main/scala/lisa/kernel/proof/SCProof.scala
- src/main/scala/proven/DSetTheory/Part1.scala 0 additions, 635 deletionssrc/main/scala/proven/DSetTheory/Part1.scala
- src/main/scala/proven/ElementsOfSetTheory.scala 0 additions, 458 deletionssrc/main/scala/proven/ElementsOfSetTheory.scala
- src/main/scala/proven/MainLibrary.scala 3 additions, 3 deletionssrc/main/scala/proven/MainLibrary.scala
- src/main/scala/proven/SetTheory.scala 776 additions, 14 deletionssrc/main/scala/proven/SetTheory.scala
- src/main/scala/proven/tactics/ProofTactics.scala 15 additions, 13 deletionssrc/main/scala/proven/tactics/ProofTactics.scala
- src/main/scala/utilities/KernelHelpers.scala 3 additions, 4 deletionssrc/main/scala/utilities/KernelHelpers.scala
- src/main/scala/utilities/Library.scala 130 additions, 59 deletionssrc/main/scala/utilities/Library.scala
- src/main/scala/utilities/Printer.scala 2 additions, 0 deletionssrc/main/scala/utilities/Printer.scala
- src/main/scala/utilities/TheoriesHelpers.scala 20 additions, 5 deletionssrc/main/scala/utilities/TheoriesHelpers.scala
Loading
Please register or sign in to comment