leanprover-community/lean4game

GitHub

Server to host Lean games

TypeScript498 stars91 forksGPL-3.0

lean4 react

Momentum

leanprover-community/lean4game has 498 GitHub stars.

It currently ranks #27131 daily, #27657 weekly, #29615 monthly by momentum on Trending Repos; its best-ever rank is #4949.

Rankings

PeriodRankScore

Daily

#271310.0

Weekly

#276570.0

Monthly

#296150.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4949

Format

Markdown

[![leanprover-community/lean4game badge](https://trending-repos.com/badge/leanprover-community/lean4game.svg?v=3)](https://trending-repos.com/repositories/leanprover-community/lean4game?utm_source=github&utm_medium=badge)

leanprover-community/lean4game

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

leanprover-community/lean4game

Momentum

Rankings

Engagement

Similar trending repositories

Embeds