Trace Generation for ProofShape in Recursion v2#1278
Merged
hero78119 merged 7 commits intofeat/recursion-v2from Mar 26, 2026
Merged
Trace Generation for ProofShape in Recursion v2#1278hero78119 merged 7 commits intofeat/recursion-v2from
ProofShape in Recursion v2#1278hero78119 merged 7 commits intofeat/recursion-v2from
Commits
Commits on Mar 25, 2026
Commits on Mar 26, 2026
- committed
- authored
- committed
- committed
- committed
- committed
