TSR · The desk

Mathematics · 3 October 2026

Articles in this category in 3 October 2026.

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

  G\"odel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THF