issues
search
epfl-lara
/
lisa
Proof assistant based on first-order logic and set theory
Apache License 2.0
33
stars
18
forks
source link
Update project to scala version 3.5.1. Rewrite depreciated syntax.
#227
Closed
SimonGuilloud
closed
1 week ago
SimonGuilloud
commented
1 week ago
Update project to scala version 3.5.1.
Rewrite depreciated syntax.
Hide scallion warning report.
Hide some unjustified error report.