Skip to content

Add number theory game - #577

Merged
TentativeConvert merged 1 commit into
leanprover-community:mainfrom
k88-b:add-number-theory-game
Oct 20, 2026
Merged

TentativeConvert merged 1 commit into
leanprover-community:mainfrom
k88-b:add-number-theory-game

add number theory game

65bf4c3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice
macOS - electron
failed Oct 18, 2026 in 10m 12s