Zayden-Jung/Endoleap
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity
209 Commits 15 Branches 0 Tags
14f7475296a837c5a35e7cd895caba2ee1e86421
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