Package profile
DafnyRuntimePython
- Summary: Dafny runtime for Python
- Author: The Dafny core team <core-team@dafny.org>
- License: MIT License
- Homepage: https://github.com/dafny-lang/dafny
- Source: https://github.com/dafny-lang/dafny
- Number of releases: 11
- First release: 4.4.0 on 2024-01-24
- Latest release: 4.11.0 on 2025-08-25
- Latest release size: 6.4 KB (pure Python wheel)