← back to paper

Review history

arxiv: 2605.15126 · 2 revisions

Constructive higher sheaf models with applications to synthetic mathematics

1. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 6.0
   30130 ms 5572 in 918 out 2026-05-20T20:05:28.647248+00:00
2. 2026-05-15 UNVERDICTED LOW v0.9.0 novelty 7.0
   42827 ms 5341 in 1080 out 2026-05-15T02:59:00.283425+00:00