arsalan0c/dafny-of-python

A tool for deductive verification of Python programs based on Dafny

语言：OCaml · GitHub 星标：36 · Fork：2

话题：auto-active · compiler · dafny · mypy · python · static · transpiler · verification

在 GitHub 上查看原仓库