-
- Downloads
Small tactic improvement (#185)
* improved printing, allow return in TacticSubproof * weird issues * fix bugs, improve printing andextractor paterns * scalafix, scalafmt * Fix small bug in asFront
Showing
- build.sbt 18 additions, 22 deletionsbuild.sbt
- lisa-utils/src/main/scala/lisa/fol/Common.scala 24 additions, 20 deletionslisa-utils/src/main/scala/lisa/fol/Common.scala
- lisa-utils/src/main/scala/lisa/fol/FOLHelpers.scala 1 addition, 1 deletionlisa-utils/src/main/scala/lisa/fol/FOLHelpers.scala
- lisa-utils/src/main/scala/lisa/fol/Sequents.scala 4 additions, 1 deletionlisa-utils/src/main/scala/lisa/fol/Sequents.scala
- lisa-utils/src/main/scala/lisa/prooflib/BasicStepTactic.scala 31 additions, 25 deletions...-utils/src/main/scala/lisa/prooflib/BasicStepTactic.scala
- lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala 18 additions, 8 deletionslisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala
- lisa-utils/src/main/scala/lisa/prooflib/SimpleDeducedSteps.scala 5 additions, 5 deletions...ils/src/main/scala/lisa/prooflib/SimpleDeducedSteps.scala
- lisa-utils/src/main/scala/lisa/prooflib/Substitution.scala 6 additions, 6 deletionslisa-utils/src/main/scala/lisa/prooflib/Substitution.scala
- lisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala 3 additions, 3 deletionslisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala
- src/main/scala/lisa/automation/settheory/SetTheoryTactics.scala 2 additions, 2 deletions...in/scala/lisa/automation/settheory/SetTheoryTactics.scala
Loading
Please register or sign in to comment