TSR · The desk

Mathematics · 13 October 2026

Articles in this category in 13 October 2026.

• TSR Desk · mathematics · 13 October 2026, 01:00 UTC

  Solving VeriContest with a Lean-Backed Rust Verifier