feat: partial inhabitation uses local Inhabited instances created from parameters#5821
Merged
kmill merged 1 commit intoleanprover:masterfrom kmill:partial_mkinhabit_improveOct 23, 2024
+50-41
