prove some nonimplications for Equations 2712 and 3545 #1035

Sign in to view logs

Summary
Jobs
- style_lint
Run details
- Usage
- Workflow file

Triggered via pull request October 8, 2024 15:14

dwrensha

opened #430

dwrensha:refutation742

Status Success

Total duration 17s

Artifacts –

lint.yml

on: pull_request