This branch is an archive containing the implementation of the features presented in the paper submitted at ITP 2024.

• First, install Scala 3 on your system per the official instructions. You should have obtained Scala 3 and SBT.
• Then, clone the present project.
• In the root folder, run sbt.
• Type project lisa-examples in the sbt interactive console.
• Then run.
• All examples are implemented in Example.scala .