← back to paper

Review history

arxiv: 2605.02331 · 2 revisions

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV

1. 2026-05-21 ACCEPT MODERATE v0.9.0 novelty 8.0
   46639 ms 5855 in 1474 out 2026-05-21T00:51:58.319862+00:00
2. 2026-05-08 CONDITIONAL UNKNOWN v0.9.0 novelty 8.0
   34437 ms 5588 in 1401 out 2026-05-08T18:40:52.846811+00:00