|
|
|
|
|
|
by anonetal
2572 days ago
|
|
|
From the earlier cited paper, this seems to target relatively simple proofs too (i.e., hardly what "expert mathematicians can prove"): "... a broad coverage of basic mathematical theorems on calculus and the formal proof of the Kepler conjecture." |
|
|