Skip to content

Infer the relevance of inductive parameters by retyping - #1093

Open
JasonGross wants to merge 1 commit into
LPCIC:masterfrom
theorem-labs:claude/indt-parameter-relevance
Open

Infer the relevance of inductive parameters by retyping#1093
JasonGross wants to merge 1 commit into
LPCIC:masterfrom
theorem-labs:claude/indt-parameter-relevance

Commits

Commits on Aug 13, 2026