Skip to content

Termination check: handle recursion through proof trees and add recursive types check#2006

Open
Lysxia wants to merge 4 commits intomasterfrom
termination-tree
Open

Termination check: handle recursion through proof trees and add recursive types check#2006
Lysxia wants to merge 4 commits intomasterfrom
termination-tree

Commits

Commits on Apr 29, 2026