issues
search
epfl-lara
/
stainless
Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349
stars
49
forks
source link
Scala version bump to 3.3.3
#1514
Closed
samuelchassot
closed
2 months ago
samuelchassot
commented
2 months ago
FunctionOf tree changed
Use Iterable instead of Traversable