| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | prover: do not restore length facts after a call-loop |  zinc
| 2026-10-15 | 1 | -8/+8 |
| * | prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops | zinc
| 2026-10-15 | 1 | -0/+9 |
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |