Skip to content

Keep IxVM lazy defeq bounded on open Nat terms - #562

Merged
arthurpaulino merged 2 commits into
mainfrom
ap/ixvm-distill
Aug 17, 2026
Merged

Keep IxVM lazy defeq bounded on open Nat terms#562
arthurpaulino merged 2 commits into
mainfrom
ap/ixvm-distill

fix(ixvm): keep lazy defeq bounded on open Nat terms

9998026
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar