Lean Game Server: A repo of learning games for Lean (adam.math.hhu.de)

2 comments

[ 1.2 ms ] story [ 18.1 ms ] thread

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

Thanks for sharing these games for learning Lean!