epfl-lara/inox

Solver for higher-order functional programs, used by Stainless

语言：Scala · GitHub 星标：99 · Fork：24

在 GitHub 上查看原仓库