← back to paper

Review history

arxiv: 2605.03628 · 2 revisions

Induction rules for Transition Algebra

1. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 6.0
   47006 ms 5360 in 948 out 2026-05-07T13:27:05.851549+00:00
2. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 6.0
   24904 ms 5338 in 975 out 2026-05-07T01:10:51.479000+00:00