Verify proofs

Remove almost all axioms #817

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request March 6, 2024 17:03

stefan-aws

synchronize #163

remove-independence-axioms

Status Success

Total duration 41s

Artifacts –

verify.yml

on: pull_request