dafnyruntimepython
Dafny runtime for Python
This package provides a Python runtime for Dafny (dev-lang/dafny), a verification-aware programming language
homepage ↗ github: dafny-lang/dafny pypi: DafnyRuntimePython
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| nest GitHub ↗ | 4.11.0 | 1 | 14 d | details › |