Skip to content
Vote close

Automated Verification of Fundamental Algebraic Laws #68

Sign in to view logs

Automated Verification of Fundamental Algebraic Laws

Automated Verification of Fundamental Algebraic Laws #68

Triggered via pull request January 9, 2025 20:53
@nkruschnkrusch
closed #226
paper-vote-4
Status Skipped
Total duration 2s
Artifacts –

close.yaml

on: pull_request
Matrix: close
Fit to window
Zoom out
Zoom in