Astra produced an explicit non-sofic group with a proof checkable in Lean — AI-generated and mechani



DOWNLOAD





Bagikan