-
- Downloads
scalafix 3.
parent
b7bffd62
No related branches found
No related tags found
Showing
- build.sbt 1 addition, 1 deletionbuild.sbt
- lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala 1 addition, 1 deletionlisa-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-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
Loading
Please register or sign in to comment