piwheels

proof-frog

A tool for checking transitions in cryptographic game-hopping proofs

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install proof-frog

Dependencies

• flask
• colorama
• sympy
• pygls
• watchdog
• antlr4-python3-runtime
• click
• z3-solver

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
0.4.1	2026-04-16
proof_frog-0.4.1-py3-none-any.whl (575 KB)
0.4.0	2026-04-12
proof_frog-0.4.0-py3-none-any.whl (568 KB)
0.3.1	2026-03-05
proof_frog-0.3.1-py3-none-any.whl (393 KB)
0.3.0	2026-03-04
proof_frog-0.3.0-py3-none-any.whl (388 KB)
0.2.0	2025-04-23
proof_frog-0.2.0-py3-none-any.whl (171 KB)
0.1.1	2024-03-23
proof_frog-0.1.1-py3-none-any.whl (160 KB)
0.1.0	2024-02-07
proof_frog-0.1.0-py3-none-any.whl (160 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue