Skip to content
push to main

[Poland1998P4] another simplification found by LeanCopilot with tryAt… #1860

Sign in to view logs

[Poland1998P4] another simplification found by LeanCopilot with tryAt…

[Poland1998P4] another simplification found by LeanCopilot with tryAt… #1860

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build library and deploy dashboard to Github Pages
6m 56s
6m 56s