| 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") |
(update prover) |
||
| 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 2.3.3 (ECPP) | |LeProgram=Primo 2.3.3 (ECPP) | ||
| − | |LeRemarks= | + | |LeRemarks= |
}} | }} | ||
Revision as of 09:57, 10 June 2021
Data
|
