add extract_implications.lean #137

Sign in to view logs

Summary
Jobs
- style_lint
Run details
- Usage
- Workflow file

Triggered via pull request September 27, 2024 23:29

dwrensha

synchronize #22

dwrensha:extract-implications

Status Success

Total duration 12s

Artifacts –

lint.yml

on: pull_request