gergoerdi/scottcheck

gergoerdi/scottcheck 是 GitHub 上的开源项目。

语言：Haskell · GitHub 星标：7 · Fork：1

话题：haskell · interactive-fiction-engine · scott-adams · smt · symbolic-execution · text-adventure-engine · verification

在 GitHub 上查看原仓库