leanprover/lean4

Lean 4 programming language and theorem prover

拖动卡牌调整角度，点击翻面查看卡背。