leanprover-community/lean4game
@leanprover-community用于托管 Lean 游戏的服务器。
星数
551
Fork 数
103
语言
TypeScript
许可
GPL-3.0
最后推送
20小时前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
用于托管 Lean 游戏的服务器。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。