Repository navigation

Interactive Proof Replayer - #3897

Draft

wadoon wants to merge 4 commits into

mainfrom

Draft

Interactive Proof Replayer#3897
wadoon wants to merge 4 commits into
mainfrom
weigl/p2ps

Commits on Oct 11, 2026
- first attempt
  wadoon
  committed
  637cfe5
- implement 'apply single rule'
  
  WolframPfeifer
  authored and
  wadoon
  committed
  f65f7ed
- format
  wadoon
  committed
  29342c2
Commits on Oct 12, 2026
- Review fixes 2-8 for PR #3897 (interactive proof replayer)
  wadoon
  committed
  16792a1