Skip to content

feat: more expressive semiOutParam attribute for ipm_class declarations#513

Open
alvinylt wants to merge 13 commits into
leanprover-community:masterfrom
ISTA-PLV:SemiOutParam
Open

feat: more expressive semiOutParam attribute for ipm_class declarations#513
alvinylt wants to merge 13 commits into
leanprover-community:masterfrom
ISTA-PLV:SemiOutParam

Minor improvements, typo fix

b8d47d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 13, 2026 in 4m 12s