Repository navigation
feat(FineGrained): restrict counting correctness to normalized bounded leaves - #1333
Merged
SamuelSchlesinger merged 31 commits intoOct 27, 2026
Merged
Commits
Commits on Oct 27, 2026
- committed
- committed
Anton Kovsharov - committed
- committed
- committedAnton Kovsharov
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'feat/three-occurrence-reduction-1226-jetski' into feat/counting-tree-bound-1226-jetski
committed- committed
- committed
- committed
- committed
- committed
feat(FineGrained): export prefix bounds, runtime-context stepWith, and declared-N searchDeclaredWith
committed- committed
- committed
- committed
- committed
