finish node_to_multiset_of_precon; LocalTableau.lean is now sorry-free #684

Sign in to view logs

Triggered via push October 16, 2024 09:26

m4lvin

main

Status Success

Total duration 4m 25s

Artifacts –

build.yml

on: push