Lean Game Server: A repo of learning games for Lean

1 comments

• crescit_eundo 33 minutes ago

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