Rare card
Proof assistant
- Value
- 50 W
- Attack
- 274
- Defence
- 220
- Players
- 0
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration.
Get Proof assistant in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack