Repository navigation
The proof runner: bun run proof <slice> proves a slice end to end, and Slice 0 is proof ready - #139
Merged
Merged
Commits
Commits on Oct 3, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Tests proven: both runs in copies built alike, each test judged on its own, marks read from the file
andcommitted- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Commits on Oct 4, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- committed
- committed
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted