fix little inaccuracy in domain separator docs #105

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request November 5, 2024 10:31

MathisGD

synchronize #702

docs/domain-sep

Status Success

Total duration 10m 51s

Artifacts –

halmos.yml

on: pull_request