-
- Downloads
Upgrade to Scala 3.3.1 (#197)
* Upgrade to 3.3.1 disabling pattern matching checks * Fixes for build * scalafix * Fix reference to kernel formula * File changes
Showing
- CHANGES.md 6 additions, 0 deletionsCHANGES.md
- build.sbt 10 additions, 2 deletionsbuild.sbt
- lisa-sets/src/main/scala/lisa/automation/CommonTactics.scala 13 additions, 12 deletionslisa-sets/src/main/scala/lisa/automation/CommonTactics.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Induction.scala 1 addition, 1 deletion...main/scala/lisa/maths/settheory/orderings/Induction.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Recursion.scala 1 addition, 1 deletion...main/scala/lisa/maths/settheory/orderings/Recursion.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/orderings/Segments.scala 1 addition, 1 deletion.../main/scala/lisa/maths/settheory/orderings/Segments.scala
- lisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala 9 additions, 6 deletionslisa-utils/src/main/scala/lisa/prooflib/WithTheorems.scala
Loading
Please register or sign in to comment