Edit history

Most recent⁨Oct⁩ ⁨9⁩, ⁨2026⁩, ⁨23:54⁩

At least half of these are formally verified. Although they did retract 3 papers. Out of about 700

Original⁨Oct⁩ ⁨9⁩, ⁨2026⁩, ⁨23:45⁩

At least half of these are formally verified.