Skip to content
CI on Fedora 41

!164 rework on exists and forall in (liii lang) #193

Sign in to view logs

!164 rework on exists and forall in (liii lang)

!164 rework on exists and forall in (liii lang) #193

build

build
succeeded Feb 4, 2025 in 1m 3s