Skip to content
Propose PR

Update scripts/process_implications.py: use Lean parser, output irreducible implications #283

Sign in to view logs

Update scripts/process_implications.py: use Lean parser, output irreducible implications

Update scripts/process_implications.py: use Lean parser, output irreducible implications #283

Triggered via issue September 30, 2024 22:58
@vlad902vlad902
commented on #144 081ac76
Status Skipped
Total duration 3s
Artifacts –

propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in