Skip to content
Back to pull request #1323

Add more facts to logand_lemma #3961

Sign in to view logs

Add more facts to logand_lemma

Add more facts to logand_lemma #3961

Triggered via pull request February 24, 2025 08:04
@mamonetmamonet
opened #1323
logand_lemma_plus
Status Success
Total duration 3m 49s
Artifacts –

test.yml

on: pull_request
no-std-lib
39s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in