Proof Pearl: Bounding Least Common Multiples with Triangles.

Hing-Lun Chan, Michael Norrish

Browse the full ITP paper archive.