Amicable Numbers (Formal proof development)

Angeliki Koutsoukou-Argyraki

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Archive of Formal Proofs
Publication status	Published - Aug 2020

Access to Document

https://www.isa-afp.org/entries/Amicable_Numbers.htmlLicence: Other

Cite this