issues
search
epfl-lara
/
inox
Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88
stars
20
forks
source link
Bump version of sbt slightly
#224
Closed
vkuncak
closed
2 months ago