Skip to content

Navigation Menu

Appearance settings

View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

ProofFrog / ProofFrog.github.io Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Major website rewrite#5

Merged

dstebila merged 61 commits intomainProofFrog/ProofFrog.github.io:mainfrom

manual-rewriteProofFrog/ProofFrog.github.io:manual-rewriteCopy head branch name to clipboard

Apr 11, 2026

Conversation Commits61 (61)Checks Files changed

Merged

Major website rewrite#5
dstebila merged 61 commits intomainfrom
manual-rewrite

Commits

Commits on Apr 8, 2026

docs: scaffold Manual and For Researchers nav structure

dstebila
and
claude
committed
docs: add manual/installation page

dstebila
and
claude
committed
docs: installation.md review fixes

dstebila
and
claude
committed
docs: add tutorial part 1 (Hello Frog)

dstebila
and
claude
committed
docs: add manual/cli-reference page

dstebila
and
claude
committed
docs: add language-reference/basics page

dstebila
and
claude
committed
docs: tutorial-1 review fixes

dstebila
and
claude
committed
docs: add language-reference/execution-model page

dstebila
and
claude
committed
docs: add language-reference/primitives page

dstebila
and
claude
committed
docs: add tutorial part 2 (OTP one-time secrecy)

dstebila
and
claude
committed
docs: language-reference/basics + cli-reference review fixes

dstebila
and
claude
committed
docs: link tutorial-1 to tutorial-2; replace reconstructed mismatch error with verified output

dstebila
and
claude
committed
docs: add manual/web-editor page

dstebila
and
claude
committed
docs: review fixes for tutorial-2, execution-model, basics, primitives

dstebila
and
claude
committed
docs: add language-reference/schemes page

dstebila
and
claude
committed
docs: add language-reference/games page

dstebila
and
claude
committed
docs: add language-reference/proofs page

dstebila
and
claude
committed
docs: add manual/editor-plugins page

dstebila
and
claude
committed
docs: web-editor review fixes (trim and accuracy)

dstebila
and
claude
committed
docs: add manual/limitations page

dstebila
and
claude
committed
docs: add manual/troubleshooting page

dstebila
and
claude
committed
docs: schemes + proofs review fixes

dstebila
and
claude
committed
docs: add Chained Encryption worked example

dstebila
and
claude
committed
docs: add manual/transformations page

dstebila
and
claude
committed
docs: add researchers/scientific-background page

dstebila
and
claude
committed
docs: transformations review fixes

dstebila
and
claude
committed
docs: add researchers/soundness page

dstebila
and
claude
committed
docs: add KEM-DEM CPA worked example

dstebila
and
claude
committed
docs: fill in worked-examples and language-reference index pages

dstebila
and
claude
committed
docs: add researchers/vibe-coding page

dstebila
and
claude
committed
docs: add researchers/engine-internals page

dstebila
and
claude
committed
docs: fill researchers + manual landing pages

dstebila
and
claude
committed
docs: rewrite home page to point at the Manual

dstebila
and
claude
committed
docs: decommission old top-level pages with redirects

dstebila
and
claude
committed
docs: final link audit -- promote stale plain-text references to live links

dstebila
and
claude
committed
Change code block formatting
dstebila
committed
Silence sass deprecation warnings
dstebila
committed
Various edits
dstebila
committed
Douglas review of tutorial part 1
dstebila
committed

Commits on Apr 9, 2026

Claude's review of its initial draft
dstebila
committed
Douglas' review of tutorial part 2
dstebila
committed
Douglas edits to tutorial and worked examples
dstebila
committed
Rewrite KEM-DEM CPA worked example to match in-repo proof

dstebila
and
claude
committed
[wip] a few edits
dstebila
committed
More edits
dstebila
committed
Douglas edits
dstebila
committed

Commits on Apr 10, 2026

More edits
dstebila
committed
More edits
dstebila
committed
Move around presentations and more edits
dstebila
committed
Update www manual for Group assumption renames (DDH/CDH/HashedDDH)

dstebila
and
claude
committed
Edits to for researchers section
dstebila
committed

Commits on Apr 11, 2026

Update docs for new download-examples CLI command

dstebila
and
claude
committed
Minor edits
dstebila
committed
Mention proof strategies from old guide.md doc
dstebila
committed
Upgrade instructions
dstebila
committed
Updates due to example renaming
dstebila
committed
Update UniqueSampling game
dstebila
committed
Manual edits
dstebila
committed
Edit engine internals and revise architecture diagram

dstebila
and
claude
committed
More edits
dstebila
committed
Copy editing

dstebila
and
claude
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.