PyRank

Dafny Python Packages

Python packages with the GitHub topic dafny. Sorted by monthly downloads, with stars and forks.
j4ngzzz
nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

140 0 0
j4ngzzz
nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.

91 0 0
nolanlwin
lemmapy

A verification toolchain for Typed Python [Research Prototype]

73 4 0