https://github.com/arsalan0c/dafny-of-python

A tool for deductive verification of Python programs based on Dafny

auto-active compiler dafny mypy python static transpiler verification

Last synced: 13 May 2025