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 5090 9"
m (Text replacement - "prove" to "proof") |
(update prover) |
||
Line 6: | Line 6: | ||
|LeFinder=Andrey Kulsha | |LeFinder=Andrey Kulsha | ||
|LeFDate=? | |LeFDate=? | ||
− | |LeProver= | + | |LeProver=Masaki UKAI |
− | |LePDate= | + | |LePDate=2020-04-21 |
− | |LeProgram=Primo | + | |LeProgram=Primo 4.3.1 (ECPP) |
− | |LeRemarks= | + | |LeRemarks= |
}} | }} |
Latest revision as of 10:03, 10 June 2021
Data
|