Skip to content

Ceil simplifier#4157

Draft
ehildenb wants to merge 4 commits into
masterfrom
ceil-simplifier
Draft

Ceil simplifier#4157
ehildenb wants to merge 4 commits into
masterfrom
ceil-simplifier

Pattern/Implies: simplify consequent under antecedent constraints

7ca9fd6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar