{"library":"dafnyruntimepython","type":"library","category":null,"description":"The `dafnyruntimepython` library provides the necessary runtime support for Python code generated by the Dafny verifier-aware programming language. Dafny compiles its formally verified code into various target languages, including Python. This runtime library is automatically included as source when Dafny builds a Python target. The current version is 4.11.0, and the Dafny project maintains a regular release cadence, with minor versions often released monthly or bi-monthly.","language":"python","status":"active","version":"4.11.0","tags":["formal-verification","code-generation","runtime","dafny"],"last_verified":"Sun May 24","install":[{"cmd":"pip install dafnyruntimepython","imports":["from MyProgram_py import MyModule","from MyProgram_py._dafny import ..."]}],"homepage":null,"github":"https://github.com/dafny-lang/dafny","docs":null,"changelog":null,"pypi":"https://pypi.org/project/dafnyruntimepython/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.7,"avg_import_s":null,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/dafnyruntimepython/compatibility"}}