Posts about LeanProver RSS feed (LeanProver, en) 19-10-2026Weekly reads: Oct 12 – Oct 18, 2026 12-10-2026Weekly reads: Oct 5 – Oct 11, 2026