2 points | by crescit_eundo 12 hours ago ago
1 comments
Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"
Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"