← back to paper

Review history

arxiv: 2606.03861 · 2 revisions

A topos for \'etale-finite Heyting algebras

1. 2026-06-29 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   35866 ms 5772 in 1380 out 2026-06-29T05:16:21.634816+00:00
2. 2026-06-28 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   21117 ms 5772 in 1340 out 2026-06-28T07:47:12.120123+00:00