Skip to content

#278 PR 0: register rows SM-37 and DF-19, nested induction and structural recursion over nested types (R3 skeleton) - #283

Closed
afflom wants to merge 1 commit into
release/v0.4from
claude/issue-278-nested-induction
Closed

#278 PR 0: register rows SM-37 and DF-19, nested induction and structural recursion over nested types (R3 skeleton)#283
afflom wants to merge 1 commit into
release/v0.4from
claude/issue-278-nested-induction

register SM-37 and DF-19: induction and structural recursion over nes…

ec3a139
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar