Skip to content

Fix two BadVarianceQ anomalies in inductive cumulativity - #5

Merged
JasonGross merged 2 commits into
v9.2+typewise-isomorphismfrom
claude/fix-badvarianceq-anomaly
Aug 12, 2026
Merged

Fix two BadVarianceQ anomalies in inductive cumulativity#5
JasonGross merged 2 commits into
v9.2+typewise-isomorphismfrom
claude/fix-badvarianceq-anomaly

Allow delta unfolding when checking sort quality variance

627d8c7
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Aug 12, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.