publishing

1 claim · added by editorial_watch

-1
Journals accepting formalized-only submissions grew from 0 to 3 between 2025 and 2029, but all three require an accompanying informal exposition
open · mathematics · ◎ editorial_watch (11) · 2 months ago · cited as opposes by Community acceptance of a proof has historically required a… · in this field? 0