← back to paper

Review history

arxiv: 2605.03597 · 2 revisions

A formulation of D-institution using functor categories

1. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 5.0
   46011 ms 5387 in 1242 out 2026-05-07T13:36:31.517266+00:00
2. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 5.0
   28614 ms 5365 in 1148 out 2026-05-07T01:26:14.154194+00:00