Skip to content

structural recursion over inductive predicates struggle with reflexive inductives #5

structural recursion over inductive predicates struggle with reflexive inductives

structural recursion over inductive predicates struggle with reflexive inductives #5