Current task: —

← Session 35 — ii′-6-R: Lagarias 6.1 right-tail re-proof (E-032/D-073)

#2058 user 2026-08-26 01:33:42.923 UTC open ⤢
let me know where we are at with the NGUYEN-RH-1 project