npm.io

Dafny Packages

dafny-of-python

Static verifier for Python programs

python compiler verification dafny

0.1.1 • Published 4 years ago

contact@npm.io