.github/workflows/main.yml

Add meta theorems about disjunctions and conjunctions #252

Sign in to view logs

Triggered via pull request January 23, 2026 16:31

melanie-taprogge

opened #59

melanie-taprogge:master

Status Success

Total duration 3m 59s

Artifacts –

main.yml

on: pull_request

Matrix: build