https://pypi.org/project/proof-frog/ Recent updates to the Python Package Index for proof-frog en https://pypi.org/project/proof-frog/0.4.1/ A tool for checking transitions in cryptographic game-hopping proofs rpevans@uwaterloo.ca, dstebila@uwaterloo.ca Thu, 16 Apr 2026 21:09:58 GMT https://pypi.org/project/proof-frog/0.4.0/ A tool for checking transitions in cryptographic game-hopping proofs rpevans@uwaterloo.ca, dstebila@uwaterloo.ca Sun, 12 Apr 2026 02:17:57 GMT https://pypi.org/project/proof-frog/0.3.1/ A tool for checking transitions in cryptographic game-hopping proofs rpevans@uwaterloo.ca, dstebila@uwaterloo.ca Thu, 05 Mar 2026 10:46:33 GMT https://pypi.org/project/proof-frog/0.3.0/ A tool for checking transitions in cryptographic game-hopping proofs rpevans@uwaterloo.ca, dstebila@uwaterloo.ca Wed, 04 Mar 2026 16:23:52 GMT https://pypi.org/project/proof-frog/0.2.0/ A tool for verifying game-hopping proofs rpevans@uwaterloo.ca Wed, 23 Apr 2025 15:22:41 GMT https://pypi.org/project/proof-frog/0.1.1/ A tool for verifying game-hopping proofs rpevans@uwaterloo.ca Sat, 23 Mar 2024 03:17:12 GMT https://pypi.org/project/proof-frog/0.1.0/ A tool for verifying game-hopping proofs rpevans@uwaterloo.ca Wed, 07 Feb 2024 22:51:19 GMT