Lean Game Server: A repo of learning games for Lean

 (math.hhu.de)

2 points | by crescit_eundo 3 hours ago

1 comments

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