Dependency and Scala Upgrades

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Closed sankalpgambhir closed 3 months ago

sankalpgambhir commented 5 months ago

A small set of maintenance changes:

updated sbt version
updated Scala version
updated sbt plugin versions
slightly cleaned up sbt build
expose lisa-sets main classes in the root project, so it does not simply fail with "No main class detected" when using sbt run in the root folder
better multiline string handling rules for scalafmt