issues
search
epfl-lara
/
inox
Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88
stars
20
forks
source link
Update Princess dependency
#194
Closed
mario-bucev
closed
1 year ago