a simpler proof for starIsFinitelyManySteps #73

Sign in to view logs

Triggered via push November 4, 2023 14:47

m4lvin

modelgraphs

Status Success

Total duration 3m 1s

Artifacts –

build.yml

on: push