Super rare card
Lean (proof assistant)
- Value
- 200 W
- Attack
- 362
- Defence
- 290
- Players
- 0
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types (specifically, the Calculus of Inductive Constructions), the foundational type theory developed with the Coq theorem prover, which was renamed to Rocq in 2024.
Get Lean (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