Research partially supported by NSF grants DMS-1404769, DMS-1701651, DMS-1952667, and DMS-2001369,
by the ERC Advanced Grant nr. 290766 - AAMOT – Arithmetic of Automorphic MOTives, and by a Simons Foundation sabbatical fellowship.
Silicon Reckoner is an opinionated newsletter about the implications of mechanization of mathematics. New texts are added every two weeks.