PyPI Stats

Search

All packages
Top packages

Track packages

proof-frog


PyPI page
Home page
Author: None
Summary: A tool for checking transitions in cryptographic game-hopping proofs
Latest version: 0.4.1
Required dependencies: antlr4-python3-runtime | click | colorama | flask | pygls | sympy | watchdog | z3-solver
Optional dependencies: black | flit | mcp | mypy | pylint | pytest | pytest-xdist | twine | types-colorama

Downloads last day: 4
Downloads last week: 31
Downloads last month: 365