Check formatting

Remove almost all axioms #680

Sign in to view logs

Summary
Jobs
- check-format
Run details
- Usage
- Workflow file

Triggered via pull request March 5, 2024 23:41

stefan-aws

synchronize #163

remove-independence-axioms

Status Success

Total duration 27s

Artifacts –

format.yml

on: pull_request