Lean Game Server: 8 game toán hình thức trên trình duyệt, không cần cài đặt gì

Lean Game Server hosting 8 game học formal mathematics miễn phí, chạy thẳng trên trình duyệt - không cài Lean. Natural Number Game của Kevin Buzzard (Imperial College) là điểm xuất phát cho hàng nghìn người. Server capacity 70 session đồng thời, 452 GitHub stars, 38 contributors. Open source GPL-3.0, giáo viên tự build game riêng bằng GameSkeleton template.