leanprover-community/lean4game
@leanprover-communityServer untuk menghosting game Lean
Bintang
549
Fork
103
Bahasa
TypeScript
Lisensi
GPL-3.0
Push terakhir
1 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.