Full list of supported games in config.yml - #528

Full list of supported games in config.yml#528

TentativeConvert merged 1 commit into

mainleanprover-community/lean4game:mainfrom

TentativeConvert-patch-1leanprover-community/lean4game:TentativeConvert-patch-1Copy head branch name to clipboard