Code

feat: improved stats#261

Code

Merged

matlorr merged 3 commits intomainleanprover-community/lean4game:mainfrom statsleanprover-community/lean4game:statsCopy head branch name to clipboardOct 25, 2024

+21-2

Commits

Commits on Oct 1, 2024

• add sample

  joneugster

  committed
  b77afeb

  Copy full SHA for b77afeb

Commits on Oct 11, 2024

• Added logging game-access data

  matlorr

  committed
  2022fa9

  Copy full SHA for 2022fa9

Commits on Oct 21, 2024

• Specify that logs should be created relative to the current working directory.

  matlorr

  committed
  dc6f7b2

  Copy full SHA for dc6f7b2