Rare card
Computer-assisted proof
- Value
- 50 W
- Attack
- 736
- Defence
- 589
- Players
- 0
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem.
Get Computer-assisted proof in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack