Join Nostr
2026-01-19 12:21:32 UTC

José A. Alonso on Nostr: Formalization of amicable numbers theory. ~ Zhipeng Chen, Haolun Tang, Jingyi Zhan. ...

Formalization of amicable numbers theory. ~ Zhipeng Chen, Haolun Tang, Jingyi Zhan. https://arxiv.org/abs/2601.07444v1 #ITP #LeanProver
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw
Seen on
wss://relay.ditto.pub