lean4
Lean 4 programming language and theorem prover
- ATK
- 7170
- DEF
- 6556
Rare
leanprover/lean4
Rare · Base · GenesisLean 4 programming language and theorem prover
Attack7,170
Defense6,556
Drag the card to turn it. Use the flip button to see the back.
Open card page