Bml: shorten Completeness, more about open (iff not closed) tableaux #67

Sign in to view logs

Triggered via push November 3, 2023 09:36

m4lvin

main

Status Success

Total duration 3m 9s

Artifacts –

build.yml

on: push