DafnyRuntimePython

Dafny runtime for Python

v4.11.0

270.2K

downloads (30d)

No known vulnerabilities in the latest version

Exclude CI/CDPRO

Best Day

18.0K

Mar 26

Worst Day

2.0K

Mar 29

Peaks On

Tues

11.8K avg

Quietest

Suns

4.1K avg

Markdown

[![PyPI Stats](/api/badges/DafnyRuntimePython?period=month)](/packages/DafnyRuntimePython)

HTML

<a href="/packages/DafnyRuntimePython"><img src="/api/badges/DafnyRuntimePython?period=month" alt="PyPI Stats"></a>