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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
propose_pr
0s
0s