Skip to content
Lint

Update arch-split doc; rename arch_split->arch-split #41

Sign in to view logs

Update arch-split doc; rename arch_split->arch-split

Update arch-split doc; rename arch_split->arch-split #41

GitHub Actions / File annotations for theory linter succeeded Jul 24, 2024 in 1s

File annotations for theory linter

View more details on GitHub Actions