public static void iterate() { var n11 = Nat.next(N10); var n12 = Nat.next(n11); var n13 = Nat.next(n12); var n14 = Nat.next(n13); var n15 = Nat.next(n14); var n16 = Nat.next(n15); var n17 = Nat.next(n16); var n18 = Nat.next(n17); var n19 = Nat.next(n18); Claim.eq(n19.value, 19); }
public static void next() { NatProve.next(N0, N1); NatProve.next(N5, N6); NatProve.next(N15, N16); var n11 = Nat.next(N10); var n12 = Nat.next(n11); var n13 = Nat.next(n12); NatProve.next(N10, n11); NatProve.next(n11, n12); NatProve.next(n12, n13); }