add extract_implications.lean #148

Sign in to view logs

Summary
Jobs
- style_lint
Run details
- Usage
- Workflow file

Triggered via pull request September 28, 2024 02:58

dwrensha

synchronize #22

dwrensha:extract-implications

Status Success

Total duration 9s

Artifacts –

lint.yml

on: pull_request