← back to paper

Review history

arxiv: 2507.00465 · 2 revisions

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 6.0
   76420 ms 5705 in 1080 out 2026-05-25T08:03:51.220755+00:00
2. 2026-05-19 UNVERDICTED LOW v0.9.0 novelty 6.0
   39902 ms 5705 in 1389 out 2026-05-19T07:12:37.248835+00:00