building mancala in lean 4

Stream: lean4

[Oscar Matemb ⚛️]

Hello I am in the process of building mancala in lean, some recommendations are greatly welcomed

[Kim Morrison]

Do you mean that you want to write a playable game, or prove theorems about the game? What's you've said is open to many interpretations in Lean! :-)

[Notification Bot]

Oscar Matemb ⚛️ has marked this topic as resolved.

[Notification Bot]

Oscar Matemb ⚛️ has marked this topic as unresolved.