Skip to content
Lean Action CI

Create Logic.lean for eventually semantics #5

Sign in to view logs

Create Logic.lean for eventually semantics

Create Logic.lean for eventually semantics #5

build

build
succeeded Sep 30, 2024 in 1m 40s