-
- Downloads
scalafix 2.
parent
41acc944
No related branches found
No related tags found
Showing
- build.sbt 2 additions, 1 deletionbuild.sbt
- lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala 4 additions, 4 deletionslisa-front/src/test/scala/lisa/front/FrontMacroTests.scala
- lisa-front/src/test/scala/lisa/front/UnificationTests.scala 1 addition, 1 deletionlisa-front/src/test/scala/lisa/front/UnificationTests.scala
- lisa-theories/src/main/scala/lisa/settheory/SetTheoryDefinitions.scala 1 addition, 1 deletion.../src/main/scala/lisa/settheory/SetTheoryDefinitions.scala
- lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala 1 addition, 1 deletion...ies/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
- lisa-theories/src/main/scala/lisa/settheory/SetTheoryZAxioms.scala 1 addition, 1 deletion...ries/src/main/scala/lisa/settheory/SetTheoryZAxioms.scala
- lisa-theories/src/main/scala/lisa/settheory/SetTheoryZFAxioms.scala 1 addition, 1 deletion...ies/src/main/scala/lisa/settheory/SetTheoryZFAxioms.scala
- lisa-utils/src/test/scala/lisa/kernel/FolTests.scala 1 addition, 1 deletionlisa-utils/src/test/scala/lisa/kernel/FolTests.scala
- lisa-utils/src/test/scala/lisa/kernel/InvalidProofPathTests.scala 1 addition, 1 deletion...ls/src/test/scala/lisa/kernel/InvalidProofPathTests.scala
- lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala 1 addition, 1 deletionlisa-utils/src/test/scala/lisa/kernel/ProofTests.scala
- lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala 1 addition, 1 deletionlisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala
- lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala 1 addition, 1 deletionlisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala
- src/main/scala/lisa/automation/kernel/ProofTactics.scala 1 addition, 1 deletionsrc/main/scala/lisa/automation/kernel/ProofTactics.scala
- src/main/scala/lisa/proven/peano_example/Peano.scala 1 addition, 1 deletionsrc/main/scala/lisa/proven/peano_example/Peano.scala
- src/main/scala/lisa/proven/peano_example/PeanoArithmetics.scala 1 addition, 1 deletion...in/scala/lisa/proven/peano_example/PeanoArithmetics.scala
Loading
Please register or sign in to comment