Timeline for answer to Is the least common multiple sequence $\text{lcm}(1, 2, \dots, n)$ a subset of the highly abundant numbers? by B. Mehta
Current License: CC BY-SA 4.0
Post Revisions
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2025 at 16:00 | history | edited | B. Mehta | CC BY-SA 4.0 |
update again
|
| Oct 11, 2025 at 0:03 | comment | added | B. Mehta | For numbers below 2^64, GMP isn't used so below 10^10 there's no external libraries whatsoever. From 2^64 upwards, GMP is used for the basic operations on natural numbers. No other external libraries are used. | |
| Oct 10, 2025 at 21:40 | comment | added | Timothy Chow | Just to be clear, Lean is using GMP for calculations, right? Is it relying on any other external libraries for this calculation? | |
| Oct 10, 2025 at 7:18 | history | edited | B. Mehta | CC BY-SA 4.0 |
added 282 characters in body
|
| Oct 6, 2025 at 7:40 | history | edited | B. Mehta | CC BY-SA 4.0 |
add formalisations of more disproofs
|
| S Oct 6, 2025 at 1:54 | review | First answers | |||
| Oct 6, 2025 at 2:06 | |||||
| S Oct 6, 2025 at 1:54 | history | answered | B. Mehta | CC BY-SA 4.0 |