Skip to content

@ProofFrog ProofFrog

Change the repository type filter

All

    Repositories list

    4 repositories

    • ProofFrog

      Public
      A tool for verifying transitions in cryptographic game-hopping proofs
      cryptographyproofsformal-verification
      cryptographyproofsformal-verification
      Python
      •
      MIT License
      •5•20•3•1•Updated Apr 17, 2026Apr 17, 2026

    • ProofFrog.github.io

      Public
      Source code for the ProofFrog website
      HTML
      •
      MIT License
      •1•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • examples

      Public
      Example files that can be used with ProofFrog
      MIT License
      •2•1•0•0•Updated Apr 15, 2026Apr 15, 2026

    • .github

      Public
      GitHub org-level README
      0•0•0•0•Updated Apr 11, 2026Apr 11, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.