{"package": "proof-frog", "summary": "A tool for checking transitions in cryptographic game-hopping proofs", "pypi_url": "https://pypi.org/project/proof-frog", "piwheels_url": "https://www.piwheels.org/project/proof-frog", "releases": {"0.4.1": {"released": "2026-04-16 21:09:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.4.1-py3-none-any.whl", "filehash": "a6f91c806bbea35ce0db59e2efb6487d3179a6b6ddc0ad9f06dd9e93de23d67c", "filesize": 589101, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "click", "colorama", "flask", "pygls", "sympy", "watchdog", "z3-solver"]}}}, "0.4.0": {"released": "2026-04-12 02:17:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.4.0-py3-none-any.whl", "filehash": "bb56ccbb0d99b7536f91c99892bdf472947549b08ff46d842e4413e16a6d8c1d", "filesize": 581291, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "click", "colorama", "flask", "pygls", "sympy", "watchdog", "z3-solver"]}}}, "0.3.1": {"released": "2026-03-05 10:46:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.3.1-py3-none-any.whl", "filehash": "174a26697476734a85d4ba4d0a24cd1b81ab3faced6f9a2bc0aa7c52201a0f47", "filesize": 402213, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "click", "colorama", "flask", "sympy", "z3-solver"]}}}, "0.3.0": {"released": "2026-03-04 16:23:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.3.0-py3-none-any.whl", "filehash": "ed4a20598556dc5c0e9eca5e1d19fe2efee235ea887cd44e267d38aa65a95794", "filesize": 397278, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "click", "colorama", "flask", "sympy", "z3-solver"]}}}, "0.2.0": {"released": "2025-04-23 15:22:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.2.0-py3-none-any.whl", "filehash": "f98b570b0888a1d9c092026d2311d33dbc66e54c046fbccb786887b69cbbe25d", "filesize": 175592, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "colorama", "sympy", "z3-solver"]}}}, "0.1.1": {"released": "2024-03-23 03:17:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.1.1-py3-none-any.whl", "filehash": "beca9bb0637864921cc336ad0b1fe5622fdcedebb91e3ab6c06b52c31071ea27", "filesize": 163797, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "colorama", "sympy", "z3-solver"]}}}, "0.1.0": {"released": "2024-02-07 22:51:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"proof_frog-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/proof-frog/proof_frog-0.1.0-py3-none-any.whl", "filehash": "110a809adfaee18786d5bd8523b841fe8f7249b1368fa8b38ba6ff15889c5769", "filesize": 163337, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "colorama", "sympy", "z3-solver"]}}}}}