Skip to content

Define rty::Formula and replace UnboundAssumption and Refinement with it#3

Merged
coord-e merged 3 commits into
mainfrom
unify-formula
Aug 28, 2025
Merged

Define rty::Formula and replace UnboundAssumption and Refinement with it#3
coord-e merged 3 commits into
mainfrom
unify-formula

Assumption = rty::Formula<PlaceTypeVar>

43ba71b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar