Skip to content

fix: rewrite AlgebraicProperties to use Patterns predicates #10

fix: rewrite AlgebraicProperties to use Patterns predicates

fix: rewrite AlgebraicProperties to use Patterns predicates #10

Annotations

1 error

Example Programs

failed Jan 12, 2026 in 44s