Skip to content

[Builtins] add 'constrTermFromConstrData'#5776

Closed
effectfully wants to merge 1 commit intomasterfrom
effectfully/builtins/add-constrTermFromConstrData
Closed

[Builtins] add 'constrTermFromConstrData'#5776
effectfully wants to merge 1 commit intomasterfrom
effectfully/builtins/add-constrTermFromConstrData

Commits

Commits on Feb 18, 2024