Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
NNG4
Natural Number Game
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
1mo ago
Recent commits
Latest commits.
Merge pull request #94 from dalps/merge-translations
fb9970b
Jon Eugster
9mo ago
update Italian translation
ede51f7
dalps
9mo ago
resync italian and chinese translations
b4cd791
dalps
9mo ago
merge it/Game.po and zh/Game.po with Game.pot, regenerate jsons
582fffd
Federico
15mo ago
run msguniq on Game.pot
26eeb2e
Federico
15mo ago
Merge pull request #112 from leanprover-community/fix/adjust-hint
869e254
Jon Eugster
9mo ago
Merge pull request #100 from cjl8zf/cjl8zf-L07or_symm.lean-made-to-make
1e99f52
Jon Eugster
9mo ago
Merge pull request #107 from arnbod/small-typo
a137541
Jon Eugster
9mo ago
Top contributors
Builders behind this project.
kbuzzard
277 commits
joneugster
200 commits
abentkamp
28 commits
JiechengZhao
27 commits
pitmonticone
11 commits
yannickseurin
7 commits
dalps
5 commits
arnbod
2 commits
