Lisa 0.9.3 (08-10-2025)

What's Changed

• Small fixes and improvements by @sankalpgambhir in #240
• Bump version to 0.9.3 by @sankalpgambhir in #241

Full Changelog: 0.9.2...0.9.3

Lisa 0.9.2 (09-09-2025)

Changed to new type system and internal syntax, with a ported library!

What's Been Merged

• Macro to include executable lisa listings from a file by @vkuncak in #230
• Extract definitions/theorems of functions, add Sigma and Pi by @shilangyu in #222
• Revamp the set theory library by @dhalilov in #234
• Sctptp cade2 by @SimonGuilloud in #235
• Transfinite recursion theorem + some more syntax by @dhalilov in #238
• Update Scala versions and dependencies by @sankalpgambhir in #239

Full Changelog: 0.7...0.9.2

Lisa 0.7 (2024-10-04) - Initial Release

First Lisa release 🥳

Recent changes can be found in the CHANGES.md file in the repository root.