Skip to content
Lean Action CI

Update lexNf_of_factorCondition to not require classical logic #99

Sign in to view logs

Update lexNf_of_factorCondition to not require classical logic

Update lexNf_of_factorCondition to not require classical logic #99

Triggered via push January 20, 2026 08:45
@yisioxyisiox
pushed e5ce130
ys-working
Status Success
Total duration 2m 36s
Artifacts –

lean_action_ci.yml

on: push
build
2m 25s
build
Fit to window
Zoom out
Zoom in