Skip to content
Commit Verification

feat(ModelTheory): add quantifier elimination and reduction to one qu… #19

Sign in to view logs

feat(ModelTheory): add quantifier elimination and reduction to one qu…

feat(ModelTheory): add quantifier elimination and reduction to one qu… #19

Triggered via pull request June 21, 2026 07:32
@erdkocakerdkocak
synchronize #8
model-theory/quantifier-elimination-basic
Status Success
Total duration 56s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
30s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.07 KB
sha256:a099e5305dafbbe446500bdf8bb6565070a426d6af918281eaff37f13730e14c