Skip to content
Halmos

fix little inaccuracy in domain separator docs #104

Sign in to view logs

fix little inaccuracy in domain separator docs

fix little inaccuracy in domain separator docs #104

Triggered via pull request November 3, 2024 23:28
@MathisGDMathisGD
opened #702
docs/domain-sep
Status Success
Total duration 9m 53s
Artifacts –

halmos.yml

on: pull_request
verify
9m 43s
verify
Fit to window
Zoom out
Zoom in