inox

Solver for higher-order functional programs

Stars

88

Forks

20

Language

Scala

Last Updated

Apr 23, 2024

Similar Repos