Zayden-Jung/Endoleap
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
131 Commits 15 Branches 0 Tags
a9bc6e7d29ed84b9a2902fb4e5ded851f407c4ba
Commit Graph

1 Commits

Author SHA1 Message Date
codex-bot 5296c953b1 feat(canvas): elide closed unsent lifetimes with durable local proofs 2026-11-08 14:24:39 +08:00