Skip to content
Windows

replace Exists by ForAll in the mathematica lemmas #807

Sign in to view logs

replace Exists by ForAll in the mathematica lemmas

replace Exists by ForAll in the mathematica lemmas #807

Triggered via push March 27, 2025 19:32
@levnachlevnach
pushed e4897ff
master
Status Success
Total duration 59m 24s
Artifacts –

Windows.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in