← back to paper

Review history

arxiv: 2606.01438 · 2 revisions

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

1. 2026-07-12 ACCEPT MODERATE v1.1.0-grok45 novelty 6.0
   15069 ms 28704 in 1823 out 2026-07-12T15:23:49.493277+00:00
2. 2026-06-28 UNVERDICTED LOW v0.9.1-grok novelty 5.0
   30974 ms 5546 in 1105 out 2026-06-28T15:51:33.015992+00:00