Lean Game Server: A repo of learning games for Lean

4 points by crescit_eundo 14 days ago | 2 comments

Thanks for sharing these games for learning Lean!

Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"

Math_Keyboard 6 days ago |

Thanks for sharing these games for learning Lean!

crescit_eundo 14 days ago |

Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"