leanprover-community/lean4game
@leanprover-communityServer zum Hosten von Lean-Spielen
Sterne
549
Forks
103
Sprache
TypeScript
Lizenz
GPL-3.0
Letzter Push
vor 7 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.