Skip to content
Lean Action CI

More work towards proving farkas lemma #20

Sign in to view logs

More work towards proving farkas lemma

More work towards proving farkas lemma #20

Triggered via push September 22, 2024 21:31
@GuiBrandtGuiBrandt
pushed 7386fda
main
Status Success
Total duration 1m 31s
Artifacts –

lean_action_ci.yml

on: push
build
1m 21s
build
Fit to window
Zoom out
Zoom in