tweag/pirouette

Language-generic workbench for building static analysis

语言：Haskell · GitHub 星标：46 · Fork：2

话题：formal-verification · haskell · symbolic-execution · system-f

在 GitHub 上查看原仓库