TikhonJelvis/imp

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

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

在 GitHub 上查看原仓库