Example #1
0
 def prop_all_included(self):
     t = implies(lambda i: i < self.depth, int)
     vals = values(self.depth, t)
     return forall(
         int,
         lambda i: i in vals if i < self.depth else True,
     )
Example #2
0
 def prop_all_contained(self):
     vals = values(self.depth, self.evens)
     return forall(
         implies(lambda i: i < self.depth, int),
         lambda i: i in vals if is_even(i) else True,
     )