Code

WIP progress on world overviews#129

Code

Open

joneugster wants to merge 2 commits intodevleanprover-community/lean4game:devfrom world_overviewsleanprover-community/lean4game:world_overviewsCopy head branch name to clipboard

+160-7

Commits

Commits on Oct 23, 2023

• WIP progress on world overviews

  joneugster

  committed
  4266c09

  Copy full SHA for 4266c09

Commits on Dec 9, 2023

• Merge branch 'dev' into world_overviews

  joneugster

  committed
  bb214f4

  Copy full SHA for bb214f4