Skip to content

Update to lean v4.11#3

Open
TomasOrtega wants to merge 2 commits into
optsuite:mainfrom
TomasOrtega:main
Open

Update to lean v4.11#3
TomasOrtega wants to merge 2 commits into
optsuite:mainfrom
TomasOrtega:main

Update Convex.Algorithm to lean v4.11

72b0d2a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs