Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "Leyland prime P 2240 87"
m (Text replacement - "prove" to "proof") |
m |
||
(One intermediate revision by the same user not shown) | |||
Line 6: | Line 6: | ||
|LeFinder=Greg Childers | |LeFinder=Greg Childers | ||
|LeFDate=2001-06-12 | |LeFDate=2001-06-12 | ||
− | |LeProver= | + | |LeProver=Masaki UKAI |
− | |LePDate= | + | |LePDate=2019-09-25 |
− | |LeProgram=Primo | + | |LeProgram=Primo 4.3.1 (ECPP) |
− | |LeRemarks= | + | |LeRemarks= |
}} | }} |
Latest revision as of 10:01, 10 June 2021
Data
|